Changes between Version 439 and Version 440 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 2, 2009 9:53:43 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v439 v440  
    66 
    77 * Declarations involving families: 
    8   * #3197 (problem with qualified names in type instance heads) 
    98  * #2677 (depending on the order of instances, overlap is sometimes not properly recognised) 
    109  * Test`Simple8`: