ViewVC logotype

Revision 91507

Jump to revision: Previous Next
Author: manus_eiffel
Date: Fri Mar 23 05:31:39 2007 UTC (12 years, 8 months ago)
Changed paths: 1
Log Message:
Restricted creation routine to MISMATCH_CORRECTOR since the invariant implies it.

Changed paths

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

  ViewVC Help
Powered by ViewVC 1.1.23