Changes between Version 432 and Version 433 of TypeFunctionsStatus


Ignore:
Timestamp:
May 2, 2009 6:30:54 PM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

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