Changes between Version 150 and Version 151 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 21, 2007 3:35:41 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v150 v151  
    7474 * Equational constraints in contexts.
    7575
    76 == Testsuite for type family patches ==
     76== Regression tests of type family patches ==
    7777
    7878Current `validate` result: