latex: keyword 'fun' added to why3lang.sty

parent 0c8ad099
......@@ -9,7 +9,7 @@ morekeywords=[1]{predicate,constant,function,goal,type,use,%
import,theory,end,in,%
mutable,invariant,model,requires,ensures,raises,returns,reads,writes,diverges,%
variant,let,val,while,for,loop,abstract,private,any,assert,assume,check,%
rec,clone,if,then,else,result,old,ghost,by,so%
fun,rec,clone,if,then,else,result,old,ghost,by,so%
axiom,lemma,export,forall,exists,match,with,try,not,inductive,coinductive},%
%keywordstyle=[1]{\color{red}},%
morekeywords=[2]{true,false},%
......
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