diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:22:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:22:57 +0000 |
commit | 0371ed89d98822dfd030b893ec63692958f73f4f (patch) | |
tree | 7671f276a38aabdbf27014fa7778383e950adc7d /acl2/README | |
parent | c7ce231c26a5f859a0d773320f0320fc7a1814d1 (diff) |
Updated, trimmed down to barebones.
Diffstat (limited to 'acl2/README')
-rw-r--r-- | acl2/README | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/acl2/README b/acl2/README index 961e287a..1160bd91 100644 --- a/acl2/README +++ b/acl2/README @@ -4,27 +4,19 @@ Written by David Aspinall. $Id$ -Status: not officially supported yet +Status: alpha; unsupported Maintainer: volunteer required -ACL2 version: Tested briefly with -ACL2 homepage: +ACL2 version: Tested briefly with acl2.5 +ACL2 homepage: http://www.cs.utexas.edu/users/moore/acl2 ======================================== - -This is a "technology demonstration" of Proof General for ACL2. - -It has basic script management support, with a little bit of -decoration of scripts and output. - -There is support for X Symbol, but not using a proper token language. +This is the absolute bare beginnings of a PG instance for ACL2. +At the moment, only basic script management is configured. I have written this in the hope that somebody from the ACL2 community will adopt it, maintain and improve it, and thus turn it into a proper instantiation of Proof General. ------------- - -Notes: |