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

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