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