Changes between Version 24 and Version 25 of Commentary/Abbreviations


Ignore:
Timestamp:
Jul 9, 2011 1:02:30 AM (4 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Abbreviations

    v24 v25  
    4141* '''Loc''': Location, as in !SrcLoc
    4242
    43 * '''Located''': Something annotated with a SrcSpan
     43* '''Located''': Something annotated with a !SrcSpan
    4444
    4545* '''Lcl''': Local