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






New files.
2005-03-23T09:39:42+00:00

David Aspinall

2005-03-23T09:39:42+00:00

12b1ef20eea3e37763447be6d13a7467584c7d35












Large fonts
2005-03-23T09:38:35+00:00

David Aspinall

2005-03-23T09:38:35+00:00

cfe9408907b33149ebb80865c874d17690fae99d












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-03-01T11:33:36+00:00

David Aspinall

2003-03-01T11:33:36+00:00

291c13e76dff9a7c73c8445f12a3d8e7da2f3c1e