Changes between Version 93 and Version 94 of Commentary


Ignore:
Timestamp:
Sep 17, 2008 4:57:44 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v93 v94  
    4242== Contributed Documentation == 
    4343 
    44 Please feel free to add new pages here.  In due course information will migrate from here to the main commentary above. 
     44Please edit and improve the Commentary above, or the Building Guide.   
     45 
     46However sometimes you may want to add new material that doesn't quite fit into the existing structure.  Or perhaps your pages are about work-in-progress, status reports and suchlike, which don't belong in the Commentary per se.  Regardless, you can add your new material here. 
    4547 
    4648 * The Compiler