Changes between Version 17 and Version 18 of Status'
- Timestamp:
- 09/16/06 06:08:24 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status'
v17 v18 23 23 || add ExistentialQuantification (existential components) || #26 || AL, MS, SJT || || || || 24 24 || || || || || || || 25 || add HierarchicalModules || #24 || IJ, BH || || || 25 || add HierarchicalModules || #24 || IJ, BH || || || None || 26 26 || || || || || || || 27 27 || add EmptyDataDeclarations || #25 || BH, HN || || || - dependency on KindAnnotations || 28 28 || || || || || || || 29 || DoAndIfThenElse || #23 || SM, HN || || || || 29 || DoAndIfThenElse || #23 || SM, HN || || || None || 30 || || || || || || || 31 || fix comment syntax grammar || #42 || SM || || || None || 32 || || || || || || || 33 || add PatternGuards || #56 || RN, MS || || || None || 30 34 || || || || || || || 31 35
