ViewVC logotype

Revision 88452

Jump to revision: Previous Next
Author: alexk
Date: Sat Mar 24 12:58:03 2012 UTC (7 years, 5 months ago)
Changed paths: 1
Log Message:
Marked class as deferred to avoid the requirement to initialize attached attributes.

Changed paths

Path Details
Directorybranches/eth/eve/Src/framework/alias_calculus/example_programs.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23