ViewVC logotype

Revision 88459

Jump to revision: Previous Next
Author: alexk
Date: Sat Mar 24 13:18:30 2012 UTC (7 years, 5 months ago)
Changed paths: 1
Log Message:
Provided default initialization of an attached attribute because it is not set by the creation procedure.

Changed paths

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

  ViewVC Help
Powered by ViewVC 1.1.23