ViewVC logotype

Revision 29113

Jump to revision: Previous Next
Author: manus
Date: Wed Nov 14 02:45:08 2001 UTC (18 years, 2 months ago)
Changed paths: 1
Log Message:
Simplified precondition of `put' since the second part is contained in the class
invariant of JAVA_OBJECT.

Changed paths

Path Details
Directorytrunk/Src/library/Eiffel2Java/java_object_table.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23