Martin Mares a13eaf219a Define element <progdoc> which initializes different formatting for the ... programmer's guide (\raggedbottom etc.). Also, omit "\usepackage{t1enc}", so that bullets work now.		2000-06-05 21:02:57 +00:00
..
mapping	Define element <progdoc> which initializes different formatting for the	2000-06-05 21:02:57 +00:00