From plummer@TIS.COM  Wed Jun 27 10:18:32 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA25062; Wed, 27 Jun 90 10:18:32 PDT
Received: from TIS.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA19890; Wed, 27 Jun 90 10:21:52 PDT
Received: from EREBOR.TIS.COM by TIS.COM (5.61/1.34)
        id AA15456; Wed, 27 Jun 90 13:18:51 -0400
Received: by erebor.TIS.COM (3.2/SMI-3.2)
        id AA13592; Wed, 27 Jun 90 13:18:37 EDT
Date: Wed, 27 Jun 90 13:18:37 EDT
From: Dave Barker-Plummer <plummer@TIS.COM>
Message-Id: <9006271718.AA13592@erebor.TIS.COM>
To: info-hol@clover.ucdavis.edu
Subject: Missing Makefile for Isabelle?

We recently picked up the sources for Isabelle following the
instructions posted on this list.  It appears that either we are doing
something wrong (always possible) or there is a missing Makefile.  We
believe that we are in the second case, and that the file should be
in the isa/src directory.  It is used to build a file called BASE.

Has anyone else encountered this problem?  Does anyone have a copy of
the missing file, or any other fix.

Thanks -- Dave

