[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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:


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by David Aspinall on July, 24 2008 using texi2html 1.78.