Martin Mares fcdddff5f3 Formatting of progdoc works in both HTML and LaTeX. The LaTeX output ...

still has somewhat weird spacing, but it will be hopefully easy
to fix.

2000-05-31 14:24:21 +00:00

..

mapping

…