Changes between Version 104 and Version 105 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 6, 2006 10:38:52 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v104 v105  
    1010== Parsing and Renaming == 
    1111 
    12 Todo (low-level): 
    13   * Should family declarations be optional with ATs, too?  (See comment at patch making kinds optional at toplevel declarations.) 
     12Todo (low-level): None. 
    1413 
    1514Todo (high-level):