Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!uwm.edu!cs.utexas.edu!mailrus!cornell!ken
From: ken@gvax.cs.cornell.edu (Ken Birman)
Newsgroups: comp.sys.isis
Subject: Re: ISIS V1.3  (please ftp to unido) "early" status report
Keywords: works, better, send-to-unido, doc-wanted, did-you-read-this
Message-ID: <33088@cornell.UUCP>
Date: 12 Oct 89 01:27:18 GMT
References: <33047@cornell.UUCP> <1080@nixctc.DE>
Sender: nobody@cornell.UUCP
Reply-To: ken@gvax.cs.cornell.edu (Ken Birman)
Distribution: comp
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 33

In article <1080@nixctc.DE> pete@relay.nixctc.de (Pete Delaney) writes:
>I've tried installing the ISIS release on unido but
>...  (long message omitted ....

I will get in touch with the postmaster at unido and see what they
are distributing.  I certainly hope they filed an "ISIS request form"
and are respecting the re-export restrictions.

Although I have been careful to make sure that UUNET stays current,
I was unaware that "unido" is distributing ISIS.  (Who, exactly, is
unido?)

Two comments about your general questions:

1) Re dvi2ps: I'll try running it here...  Note that tex source is
   in isisv1.3/doc

   If you have a problem bringing ISIS up, just email us.  These
   things are almost always minor (isis-bugs@cs.cornell.edu)

2) As noted previously, "pmk" is broken for minor reasons.  We
   have been busy and will get to this, but pmk is not a good
   indication of whether the copy of ISIS you found is current.
   At any rate, until migrated to run on META the program is only
   useful as a toy.

   If you obtained ISISV1.3 from us or from UUNET subsequent to Oct. 1
   it is the current version.  If in doubt, check that the  RCS
   header on clib/cl_task.c shows version 347 dated 9/27/1989.
   If it doesn't, you aren't current.


Ken