Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit f0a5ad86 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Avoid defining multiple keyword classes since there is only one and Hevea cannot cope with them.

parent 7ad702fd
...@@ -43,10 +43,10 @@ ...@@ -43,10 +43,10 @@
\lstdefinelanguage{why3} \lstdefinelanguage{why3}
{ {
morekeywords=[1]{namespace,predicate,function,inductive,type,use,clone,% morekeywords={namespace,predicate,function,inductive,type,use,clone,%
import,export,theory,end,in,with,% import,export,theory,end,in,with,%
goal,axiom,lemma,forall},% goal,axiom,lemma,forall},%
keywordstyle=[1]{\color{blue}},% keywordstyle={\color{blue}},%
otherkeywords={},% otherkeywords={},%
string=[b]",% string=[b]",%
showstringspaces=false,% showstringspaces=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