Commit 6a6961fb authored by Guillaume Melquiond's avatar Guillaume Melquiond

Make hevea happier.

parent 34de7edf
...@@ -58,7 +58,6 @@ ...@@ -58,7 +58,6 @@
commentstyle=\itshape, commentstyle=\itshape,
columns=[l]fullflexible, columns=[l]fullflexible,
showstringspaces=false, showstringspaces=false,
literate=%
} }
\lstnewenvironment{whycode}{\lstset{language=why3}}{} \lstnewenvironment{whycode}{\lstset{language=why3}}{}
......
...@@ -17,7 +17,7 @@ string=[b]",% ...@@ -17,7 +17,7 @@ string=[b]",%
%keywordstyle=[1]{\color{red}},% %keywordstyle=[1]{\color{red}},%
morekeywords=[2]{true,false},% morekeywords=[2]{true,false},%
%keywordstyle=[2]{\color{blue}},% %keywordstyle=[2]{\color{blue}},%
otherkeywords={},% %otherkeywords={},%
commentstyle=\itshape,% commentstyle=\itshape,%
columns=[l]fullflexible,% columns=[l]fullflexible,%
sensitive=true,% sensitive=true,%
...@@ -25,7 +25,7 @@ morecomment=[s]{(*}{*)},% ...@@ -25,7 +25,7 @@ morecomment=[s]{(*}{*)},%
%breaks hevea %breaks hevea
%escapeinside={*?}{?*},% %escapeinside={*?}{?*},%
keepspaces=true,% keepspaces=true,%
literate=% %literate=%
% {'a}{$\alpha$}{1}% % {'a}{$\alpha$}{1}%
% {'b}{$\beta$}{1}% % {'b}{$\beta$}{1}%
% {<}{$<$}{1}% % {<}{$<$}{1}%
...@@ -36,17 +36,15 @@ literate=% ...@@ -36,17 +36,15 @@ literate=%
% {/\\}{$\land$}{1}% % {/\\}{$\land$}{1}%
% {\\/}{ $\lor$ }{3}% % {\\/}{ $\lor$ }{3}%
% {\ or(}{ $\lor$(}{3}% % {\ or(}{ $\lor$(}{3}%
% {not\ }{$\lnot$ }{1}% % {not\ }{$\lnot$ }{2}%
% {not(}{$\lnot$(}{1}% % {not(}{$\lnot$(}{2}%
% {+->}{\texttt{+->}}{2}% % {+->}{\texttt{+->}}{3}%
% {+->}{$\mapsto$}{2}% % {+->}{$\mapsto$}{2}%
% {-->}{\texttt{-\relax->}}{2}% % {-->}{\texttt{-\relax->}}{3}%
% {-->}{$\longrightarrow$}{2}% % {-->}{$\longrightarrow$}{2}%
% {->}{$\rightarrow$}{2}% % {->}{$\rightarrow$}{2}%
% {<-}{$\leftarrow$}{2}% % {<-}{$\leftarrow$}{2}%
% {<->}{$\leftrightarrow$}{2}% % {<->}{$\leftrightarrow$}{2}%
%
%
} }
\lstnewenvironment{why3}{\lstset{language=why3}}{} \lstnewenvironment{why3}{\lstset{language=why3}}{}
......
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