Using Proof General
Most users are using the current
ProofGeneralEmacs
software. Some useful pages are:
PGEmacsUserHints
--- user contributed hints, tips and patches for Proof General
PGEmacsProblems
--- problems and their solutions not (yet) in
FAQ
.
PGEmacsInstallHelp
-- help with installation on various platforms
For people who are using the new
PGIP
based components, please see here:
ProofGeneralKit
PGEclipseUserHints
Please note that the
PGIP
based software is under active development and not yet ready for large-scale use.
This topic: PG
>
WebHome
>
ProofGeneralUsage
Topic revision: r1 - 28 Aug 2006 - 16:13:55 -
DavidAspinall
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
This Wiki uses
Cookies