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
..
dist	Define element <progdoc> which initializes different formatting for the	2000-06-05 21:02:57 +00:00
dtd	Define element <progdoc> which initializes different formatting for the	2000-06-05 21:02:57 +00:00
VERSION	This should be enough from the SGMLtools distribution to make the	2000-05-31 14:27:49 +00:00