blob: fbe9344090f9a3bb4591de7611012b82f160711e (
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.
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.
$Id$
|