Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!rutgers!psuvax1!numenor!schwartz From: schwartz@numenor.endor.cs.psu.edu (Scott E. Schwartz) Newsgroups: comp.sys.isis Subject: tex sources for docs? Message-ID: Date: 8 May 90 20:57:09 GMT Sender: news@cs.psu.edu (Usenet) Organization: Penn State University Computer Science Lines: 7 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