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	Formatting of progdoc works in both HTML and LaTeX. The LaTeX output	2000-05-31 14:24:21 +00:00