blob: a97523c5f2135d308a4099fde58561c36e1892a3 (
plain)
1
2
3
4
|
*********************************************************************
*** Warning: Proof General 4.0 will only support recent GNU Emacs ***
*** Please switch from using XEmacs and older versions now! ***
*********************************************************************
|
