Changes between Version 25 and Version 26 of Commentary/Abbreviations

Show
Ignore:
Timestamp:
07/08/11 18:02:43 (23 months ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Abbreviations

    v25 v26  
    1313* '''!CoreFV''': Free variables in core 
    1414 
    15 * '''!CoreLint: Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.) 
     15* '''!CoreLint''': Type and sanity-checking of core. (Lint: Jargon for a program analysis that looks for bug-suspicious code.) 
    1616 
    1717* '''!CoreSubst''': Substitution in core