Greg Ward e78298a6bd Stripped leading 'sec:' from all section labels -- generates bad filenames, ... bad link URLs in HTML, etc.		2000-04-28 17:12:24 +00:00
..
inst.tex	Stripped leading 'sec:' from all section labels -- generates bad filenames,	2000-04-28 17:12:24 +00:00