Fred Drake 0bbaa515a1 Remove evil "sec:" prefix from some \label markups; this is bad for ... filenames on Windows (& Mac?) platforms.		2001-01-24 16:39:35 +00:00
..
inst.tex	Remove evil "sec:" prefix from some \label markups; this is bad for	2001-01-24 16:39:35 +00:00