Greg Ward 1365a300a1 Get rid of "sec:" prefix that slipped into a couple of \label's.		2000-08-31 14:47:05 +00:00
..
dist.tex	Get rid of "sec:" prefix that slipped into a couple of \label's.	2000-08-31 14:47:05 +00:00