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