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






More proofgeneral.org removals
2004-08-25T21:50:35+00:00

David Aspinall

2004-08-25T21:50:35+00:00

05acfead84ac70b6e5162f3fa669129016fe4070












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












Deleted file
2003-03-03T20:42:21+00:00

David Aspinall

2003-03-03T20:42:21+00:00

2f6389b2f9a3caf2408a21792b82adcfcca49fbe












Deleted file
2003-03-03T20:15:29+00:00

David Aspinall

2003-03-03T20:15:29+00:00

802550084d24492db40f2dcc4a1e238b81142589












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

David Aspinall

2003-02-26T19:53:02+00:00

5798dc5ec6bda94db0e9b96b2b38f1a18f0b0752












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-22T19:22:13+00:00

David Aspinall

2003-01-22T19:22:13+00:00

3fb9ff219e2ed084f4219a6717e1c9ccb0d48852












X-Symbol version 4.45 beta
2003-01-22T13:45:38+00:00

David Aspinall

2003-01-22T13:45:38+00:00

dd03010bc75bc4d293f3972dac00180284aa8789












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

David Aspinall

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

f8ddf015913e9179f4ea94677b841777ffb435fa