Changes between Version 17 and Version 18 of Status'


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v17 v18  
    2323|| add ExistentialQuantification (existential components) || #26       || AL, MS, SJT        ||                   ||                                          ||      || 
    2424||                                  ||        ||         ||                   ||                                          ||                                          || 
    25 || add HierarchicalModules          || #24    || IJ, BH  ||                   ||                                          ||                                                                                   || 
     25|| add HierarchicalModules          || #24    || IJ, BH  ||                   ||                                          ||   None                                                                         || 
    2626||                                  ||        ||         ||                   ||                                          ||                                          || 
    2727|| add EmptyDataDeclarations        || #25    || BH, HN  ||                   ||                                          || - dependency on KindAnnotations                                      || 
    2828||                                  ||        ||         ||                   ||                                          ||                                          || 
    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                                    || 
    3034||                                  ||        ||         ||                   ||                                          ||                                          || 
    3135