proof-general/x-symbol/info, branch master

proof-general/x-symbol/info, branch master Emacs plugins for proof management systems Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9

Update to 4.5.1-beta from sourceforge. 2003-09-24T22:57:23+00:00 David Aspinall 2003-09-24T22:57:23+00:00 ccf89d821d14ee75e0917f9e579f7a4f4958ecb7

New files. 2003-03-01T11:33:34+00:00 David Aspinall 2003-03-01T11:33:34+00:00 ee451edc631595bbbf432c0a5413345e4c974f55