Changes between Version 145 and Version 146 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 19, 2010 7:46:12 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v145 v146  
    124124 * #4254: fundeps 
    125125 * #4044, #4045: assertion failure when bootstrapping; hard to reproduce 
     126 * #4259: overlapping instances 
    126127 
    127128== Types and type inference ==