Changes between Version 41 and Version 42 of Status'


Ignore:
Timestamp:
Sep 17, 2006 5:31:47 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v41 v42  
    4646|| add ExistentialQuantification (existential components) || #26       || AL, MS, SJT  ||   || syntax of existentials         
    4747||                                     ||        ||         ||                   ||                                                                                     
    48 || add HierarchicalModules             || #24    || IJ, BH  ||                   ||  None                                                                                                              
     48|| add HierarchicalModules             || #24    || IJ, BH, MW  ||                   ||  None                                                                                                              
    4949||                                     ||        ||         ||                   ||                                                                                     
    5050|| add EmptyDataDeclarations           || #25    || BH, HN  ||                   || dependency on KindAnnotations