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.

Hope this helps,

On 18/09/2016 21:59, Jean-Jacques Levy wrote:
> 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 mailing list

Reply via email to