ViewVC logotype

Revision 91536

Jump to revision: Previous Next
Author: manus_eiffel
Date: Thu Oct 25 16:25:10 2007 UTC (12 years, 4 months ago)
Changed paths: 1
Log Message:
Added missing postcondition about the semantics of `eif_object_id' which should always be positive.

Changed paths

Path Details
DirectoryFreeELKS/trunk/library/support/identified_routines.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23