|
Organize your proofs! |
Proof General is distributed with an FAQ and two manuals:
The second manual gives instructions on how to adapt Proof General to new proof systems, it's not needed for ordinary use. For printing you can download:
Both manuals are included in the download (in HTML and Info formats). When running Proof General the manual is available from the "Proof General" menu. It should also appear in the system Info pages. If you're using the CVS or most recent development version of Proof General, see the documentation available with the development download.
For a growing collection of notes on the usage and development of Proof General, please read and join
All documentation for the new Eclipse-based Proof General is hosted on the wiki.You can receive occasional announcements about Proof General by joining our mailing list.
If you're new to Emacs, it's recommended to try the Emacs tutorial, available inside Emacs by pressing C-h t (which means ctrl-with-h followed by t). There are many other C-h commands, and the Help menu inside Emacs gives access to more help facilities.
For on-line reading, these links might be helpful: