*********************************************************************
*** Warning: Proof General 4.0 will only support recent GNU Emacs ***
*** Please switch from using XEmacs and older versions now!       ***
*********************************************************************