Hello,

Using the listings package is common in the Why3 devteam, there is an
extra package why3lang.sty in the Why3 distrib that customize listings
appropriately. Typical use :

\documentclass{article}

\usepackage{why3lang}

\begin{document}

\begin{lstlisting}[language=why3]
  goal G : 2 +2 = 4
\end{lstlisting}

\end{document}



Le 18/09/2016 à 21:59, Jean-Jacques Levy a écrit :
> Dear Why3 Friends,
> 
> is there an easy way to translate a why3(ML) program text into a TeX file ? I 
> use latex ‘listings’ package, but it needs a lot of manual tuning.
> 
> Thanks for help, -JJ-
> 
> _______________________________________________
> Why3-club mailing list
> Why3-club@lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/why3-club
> 

-- 
Claude Marché                          | tel: +33 1 69 15 66 08
INRIA Saclay - Île-de-France           |
Université Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
http://lists.gforge.inria.fr/mailman/listinfo/why3-club

Reply via email to