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






Target for dfont
2007-05-11T07:31:38+00:00

David Aspinall

2007-05-11T07:31:38+00:00

2433ad222c898a58aaee467c9fa238a6e127a1f5












Changes from Clemens Ballarin for large X-Symbol fonts
2005-02-15T18:43:22+00:00

David Aspinall

2005-02-15T18:43:22+00:00

3ebd8547bc8c938bd50fd4876c1f72d46dccb83c












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-02-10T10:45:58+00:00

David Aspinall

2003-02-10T10:45:58+00:00

e32cdcec6ea48773c37102fbbdddbc0b68b74b07