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: