Changes between Version 6 and Version 7 of Commentary

Show
Ignore:
Timestamp:
08/17/09 11:12:09 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v6 v7  
    1010 
    1111 * '''Source Language'''[[br]] 
    12    Representation of the source program that preserves all the syntactic structure of the original. 
     12   A representation of the source program that preserves all the syntactic structure of the original. 
    1313 
    1414 * '''Desugared Language'''[[br]]