Changes between Version 315 and Version 316 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 15, 2008 5:25:04 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v315 v316  
    55'''Open Trac bugs related to type families''' 
    66 
     7 * #2219 
    78 * #2212 
    89 * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge):