Changes between Version 12 and Version 13 of Status'


Ignore:
Timestamp:
Sep 16, 2006 12:49:13 PM (8 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status'

    v12 v13  
    1919|| add RankNTypes or Rank2Types     || #60    || AL      ||                   ||                                          || - RankN or Rank2?                        || 
    2020||                                  ||        ||         ||                   ||                                          ||                                          || 
    21 || add PolymorphicComponents        || #57    || AL      ||                   ||                                          || - dependency on Rank2 vs RankN                                                                
     21|| add PolymorphicComponents        || #57    || AL      ||                   ||                                          || - dependency on Rank2Types or RankNTypes                                                           
    2222||                                  ||        ||         ||                   ||                                          ||                                          || 
    2323|| add ExistentialQuantification (existential components) || #26       || AL, MS, SJT        ||                   ||                                          ||      ||