michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(extras/latex/lstlean.tex): update list of modifiers

Browse source
This commit is contained in:
Jeremy Avigad 2015-12-31 17:12:37 -05:00 committed by Leonardo de Moura
parent 0fb398c217
commit 9dd1302dac
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
extras/latex/lstlean.tex
View file

@ -50,11 +50,11 @@ otherkeywords={
[persistent], [notation], [visible], [instance], [trans_instance],
[class], [parsing-only], [coercion], [unfold_full], [constructor],
[reducible], [irreducible], [semireducible], [quasireducible], [wf],
[whnf], [multiple_instances], [none], [decls], [declarations],
[coercions], [classes], [symm], [subst], [refl], [trans], [simp], [simps], [congr],
[forward], [no_pattern], [notations], [abbreviations], [begin_end_hints], [tactic_hints],
[reduce_hints], [unfold_hints], [aliases], [eqv], [intro], [intro!], [elim],
[localrefinfo] [recursor]
[whnf], [multiple_instances], [none], [decl], [declaration],
[relation], [symm], [subst], [refl], [trans], [simp], [congr],
[backward], [forward], [no_pattern], [begin_end], [tactic], [abbreviation],
[reducible], [unfold], [alias], [eqv], [intro], [intro!], [elim], [grinder],
[localrefinfo], [recursor]
},
% Various symbols