THIS-IS-PG4


1
2
3
4
5

*********************************************************************
*** Warning: Proof General 4.0 only supports recent GNU Emacs     ***
*********************************************************************

For plans, see trac report: http://tinyurl.com/5em4x5