Changes between Version 6 and Version 7 of Status/Nov07


Ignore:
Timestamp:
Dec 4, 2007 11:21:33 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Nov07

    v6 v7  
    2222 
    2323Several people have developed superficial but perhaps-very-useful 
    24 syntactic innovations, which now form part of the HEAD: 
     24syntactic innovations, which are (or will shortly be) in the HEAD: 
    2525 
    2626 * Three improvements to records[[BR]][[BR]]