TWiki
>
PG Web
>
ProofGeneralUsage
(28 Aug 2006,
DavidAspinall
)
(raw view)
E
dit
A
ttach
---+ 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 [[http://proofgeneral.inf.ed.ac.uk/FAQ][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.
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r1
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r1 - 28 Aug 2006 - 16:13:55 -
DavidAspinall
PG
PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed
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