Hi Marcin, Marcin Borkowski <mb...@wmi.amu.edu.pl> writes:
> I don't have working texi2dvi on my computer, so the following is still
> untested, but might be better than the previous one:
Thanks! It actually works _somehow_. But the display is ugly: @code{...}
strings do not use the small size, and the line spacing is too big.
Let us know when you can experiment and get good results.
Best,
--
Bastien
