Thu, 24 Oct 1996 10:30:17 +0200 | paulson | Handles pathnames in ISABELLECOMP | file | diff | annotate |
Tue, 15 Oct 1996 10:58:59 +0200 | paulson | Removed extraneous spaces from all Makefiles | file | diff | annotate |
Fri, 11 Oct 1996 10:52:54 +0200 | paulson | Addition of OtwayRees_AN | file | diff | annotate |
Wed, 25 Sep 1996 11:10:31 +0200 | paulson | Calls discgarb -c to realize dramatic space savings! | file | diff | annotate |
Mon, 23 Sep 1996 18:26:12 +0200 | paulson | Now uses init_html | file | diff | annotate |
Tue, 10 Sep 1996 11:07:49 +0200 | paulson | Now uses DB-ROOT.ML, which is separate from ROOT.ML | file | diff | annotate |
Thu, 22 Aug 1996 12:18:21 +0200 | paulson | For building the security theory as a separate database | file | diff | annotate |