proof-general/x-symbol/man/Makefile, 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












Version 4.5 (beta?) sent by CW, as a package distrib.
2003-01-23T11:07:13+00:00

David Aspinall

2003-01-23T11:07:13+00:00

5adef9176df1d34bd552f5fd6a603c2463c09c50












X-Symbol version 4.45 beta
2003-01-17T16:57:49+00:00

David Aspinall

2003-01-17T16:57:49+00:00

f8ddf015913e9179f4ea94677b841777ffb435fa