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.
