Changes between Version 8 and Version 9 of RankNTypes


Ignore:
Timestamp:
Jan 27, 2006 11:58:29 AM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • RankNTypes

    v8 v9  
    3333 * [wiki:Rank2Types] are a special case 
    3434 
     35== Tickets == 
     36[[TicketQuery(description~=RankNTypes)]] 
     37 
    3538== Details == 
    3639 
     
    5962 * More complex than [wiki:Rank2Types], which cover the most common cases (and can encode the rest, though clumsily). 
    6063 * No clear programmer-level description of the restrictions that apply. 
    61  
    62 == Tickets == 
    63 [[TicketQuery(description~=RankNTypes)]]