Ignore:
Timestamp:
Jun 16, 2011, 11:24:27 AM (9 years ago)
Author:
mulligan
Message:

more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2011/lst-grafite.tex

    r960 r974  
    22mathescape=true,
    33texcl=false,
    4 keywords={include},
    5 morekeywords={record, with, match, let, rec, corec, inductive, definition, axiom,
     4keywords={record, with, match, let, rec, corec, inductive, definition, axiom,
    65        qed, intro, intros, symmetry, simplify, rewrite, apply, elim, assumption,
    76        left, cut, cases, auto, right, coercion, split, lemma, theorem, skip, constructor, copy, from, letin,
    87        by, done, we, conclude, assume, need, to, prove, unfold, return, and, check,
    98        notation, interpretation, lapply, repeat, try, as, clear, in, change, whd, exists},
     9morekeywords={[2]include},
    1010%emph={[1]Type, Prop, nat, real}, emphstyle={[1]\textit},
    1111literate=       
     
    142142        {...}{{$\ldots$}}1
    143143        ,
     144tabsize=1,
    144145comment=[s]{(*}{*)},
    145146showstringspaces=true,
     
    149150captionpos=b,
    150151mathescape=true,
     152keywordstyle=\bfseries,
     153keywordstyle=[2]\bfseries,
     154keywordstyle=[3]\bfseries,
    151155%backgroundcolor=\color{gray},
    152156frame=tblr,
Note: See TracChangeset for help on using the changeset viewer.