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 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@lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/why3-club > _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/mailman/listinfo/why3-club