Changeset 974 for src/ASM/CPP2011/lst-grafite.tex
- Timestamp:
- Jun 16, 2011, 11:24:27 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/CPP2011/lst-grafite.tex
r960 r974 2 2 mathescape=true, 3 3 texcl=false, 4 keywords={include}, 5 morekeywords={record, with, match, let, rec, corec, inductive, definition, axiom, 4 keywords={record, with, match, let, rec, corec, inductive, definition, axiom, 6 5 qed, intro, intros, symmetry, simplify, rewrite, apply, elim, assumption, 7 6 left, cut, cases, auto, right, coercion, split, lemma, theorem, skip, constructor, copy, from, letin, 8 7 by, done, we, conclude, assume, need, to, prove, unfold, return, and, check, 9 8 notation, interpretation, lapply, repeat, try, as, clear, in, change, whd, exists}, 9 morekeywords={[2]include}, 10 10 %emph={[1]Type, Prop, nat, real}, emphstyle={[1]\textit}, 11 11 literate= … … 142 142 {...}{{$\ldots$}}1 143 143 , 144 tabsize=1, 144 145 comment=[s]{(*}{*)}, 145 146 showstringspaces=true, … … 149 150 captionpos=b, 150 151 mathescape=true, 152 keywordstyle=\bfseries, 153 keywordstyle=[2]\bfseries, 154 keywordstyle=[3]\bfseries, 151 155 %backgroundcolor=\color{gray}, 152 156 frame=tblr,
Note: See TracChangeset
for help on using the changeset viewer.