interp 51baa52dc9 minor corrections		2002-03-29 16:46:20 +00:00
..
html	Files in doc and doc/html added :).	2001-05-20 19:01:37 +00:00
latex	minor corrections	2002-03-29 16:46:20 +00:00