rcbc@honir.cs.cornell.edu (Robert Cooper) (05/10/90)
In response to a number of request I have made the TeX files of the
ISIS V2.0 manual, and the postscript files available by ftp. The TeX files
are a compressed TAR copy of a directory called "doc", with a top-level
TeX file called "doc.tex". To build the manual just go "latex doc" twice
in the doc directory. The index may or may not come out right.
I've also made the postscript file in compressed format available through
ftp. This file is HUGE (1.5 Mbytes compressed) so you don't want to pick up
this file if you can handle either the dvi file or the TeX files. In fact
we may have to remove the .ps file because of lack of space.
383211 May 9 14:17 ISISV20-DOC.Z doc directory
510429 Apr 27 10:31 ISISV20-DOC.dvi.Z doc.dvi file
1528535 May 9 14:22 ISISV20-DOC.ps.Z doc.ps file
194123 Apr 27 10:34 ISISV20-MAN.TAR.Z on-line man pages
1657466 May 4 10:25 ISISV20.TAR.Z Isis sources
By the way, we always appear a bit reticent about actually telling you how
to FTP Isis, e.g. what machine and which directory. This is because before
you pick up our software you should fill out a form that essentially states
that you won't give it to the Communist bloc (or what's left of it). Isis
is partially funded by DARPA and is categorized as high-technology, and so
is subject to restrictions on high-technology exports.
So if you want to get Isis, send mail to our project secretary, Maureen
Robinson (reen@cs.cornell.edu) asking for the form. Or you can phone her at
+1 607 255 9198. She'll reply with the information about how to obtain
Isis. You only have to do this the first time you get Isis.
-- Robert Cooper