Changes between Version 15 and Version 16 of Status'


Ignore:
Timestamp:
Sep 16, 2006 12:59:24 PM (9 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v15 v16  
    2323|| add ExistentialQuantification (existential components) || #26       || AL, MS, SJT        ||                   ||                                          ||      ||
    2424||                                  ||        ||         ||                   ||                                          ||                                          ||
    25 || add HierarchicalModules          || #24    || IJ, BH  ||                   ||                                          || *none*                                          ||
     25|| add HierarchicalModules          || #24    || IJ, BH  ||                   ||                                          || none                                                                                ||
     26||                                  ||        ||         ||                   ||                                          ||                                          ||
     27|| add EmptyDataDeclarations        || #25    || BH, HN  ||                   ||                                          || - dependency on KindAnnotations                                      ||
    2628||                                  ||        ||         ||                   ||                                          ||                                          ||
    2729