/[eiffelstudio]
ViewVC logotype

Revision 91602


Jump to revision: Previous Next
Author: manus_eiffel
Date: Wed Jul 16 23:33:19 2008 UTC (11 years, 5 months ago)
Changed paths: 1
Log Message:
Added missing postcondition to `set_area'.


Changed paths

Path Details
DirectoryFreeELKS/trunk/library/kernel/to_special.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23