Fred Drake f79f2f94d5 Add additional comments on the use of \deprecated.		2002-05-21 16:27:20 +00:00
..
doc.tex	Add additional comments on the use of \deprecated.	2002-05-21 16:27:20 +00:00