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
Dear Jean-Jacques,
Why3 comes with a LaTeX file why3lang.sty, which contains a suitable
parameterization of listings (notably Why3 keywords).
We are using it in most of our papers related to Why3, e.g.
https://hal.inria.fr/hal-01316859/document
Hope this helps,
--
Jean-Christophe
On 18/09/2016
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:/
