| 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 |