blob: 1160bd910ded585d1d0e45a014e41ed18d18532c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
ACL2 Proof General, for ACL2.
Written by David Aspinall.
$Id$
Status: alpha; unsupported
Maintainer: volunteer required
ACL2 version: Tested briefly with acl2.5
ACL2 homepage: http://www.cs.utexas.edu/users/moore/acl2
========================================
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.
|