Commit 964a3f8e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Add some missing keywords to listing definition.

parent f1db7914
......@@ -44,7 +44,9 @@
\lstdefinelanguage{why3}
{
morekeywords={namespace,predicate,function,inductive,type,use,clone,%
import,export,theory,end,in,with,%
import,export,theory,module,end,in,with,%
let,rec,for,to,do,done,match,if,then,else,while,try,invariant,variant,%
absurd,raise,assert,exception,%
goal,axiom,lemma,forall},%
keywordstyle={\color{blue}},%
otherkeywords={},%
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment