Changes between Version 16 and Version 17 of Status'
- Timestamp:
- 09/16/06 06:03:04 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status'
v16 v17 23 23 || add ExistentialQuantification (existential components) || #26 || AL, MS, SJT || || || || 24 24 || || || || || || || 25 || add HierarchicalModules || #24 || IJ, BH || || || none||25 || add HierarchicalModules || #24 || IJ, BH || || || || 26 26 || || || || || || || 27 27 || add EmptyDataDeclarations || #25 || BH, HN || || || - dependency on KindAnnotations || 28 || || || || || || || 29 || DoAndIfThenElse || #23 || SM, HN || || || || 28 30 || || || || || || || 29 31
