Next: , Previous: , 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:


Next: , Previous: , Up: Top   [Contents][Index]