proof-general/x-symbol/lisp/ChangeLog, 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












Updated version sent sent by CW
2003-03-14T10:49:10+00:00

David Aspinall

2003-03-14T10:49:10+00:00

d08a6fb7ed2b8aa52b4c7771a5184899e74689dc












Version 4.5 (beta?) sent by CW, as a package distrib.
2003-02-26T19:43:15+00:00

David Aspinall

2003-02-26T19:43:15+00:00

2e0ed62311f060fdf93cee9caeaaececc0486d05