schwartz@numenor.endor.cs.psu.edu (Scott E. Schwartz) (05/09/90)
Will the tex source for the docs be made available at some point? It is useful to have that online so one can grep for tidbits. -- Scott -- Scott Schwartz schwartz@cs.psu.edu