blob: 7b01a131ee0c2626f97379776c34e32f85a01a1b (
plain)
1
2
3
4
5
|
*********************************************************************
*** Warning: Proof General 4.0 only supports recent GNU Emacs ***
*********************************************************************
For plans, see trac report: http://tinyurl.com/5em4x5
|