Ignore:
Timestamp:
Mar 16, 2017, 12:39:35 PM (3 years ago)
Author:
mulligan
Message:

more cannibalisation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/lst-grafite.tex

    r3622 r3657  
    88        notation, interpretation, lapply, repeat, try, as, clear, in, change, whd, exists},
    99morekeywords={[2]include},
     10keywordstyle=\color{blue}\bfseries,
    1011%emph={[1]Type, Prop, nat, real}, emphstyle={[1]\textit},
    1112% literate=     
     
    150151captionpos=b,
    151152mathescape=true,
    152 keywordstyle=\bfseries,
    153 keywordstyle=[2]\bfseries,
    154 keywordstyle=[3]\bfseries,
     153%keywordstyle=\bfseries,
     154%keywordstyle=[2]\bfseries,
     155%keywordstyle=[3]\bfseries,
    155156%backgroundcolor=\color{gray},
    156157frame=tblr,
Note: See TracChangeset for help on using the changeset viewer.