Go to the first, previous, next, last section, table of contents.


References

A short overview of the Proof General system is described in the note:

Script management as used in Proof General is described in the paper:

Proof General has support for proof by pointing, as described in the document:


Go to the first, previous, next, last section, table of contents.