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












New files.
2005-02-15T18:42:59+00:00

David Aspinall

2005-02-15T18:42:59+00:00

bfe9931a3bdb711015eadc3696822d7e76c01186












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












Version 4.5 (beta?) sent by CW, as a package distrib.
2002-10-22T09:51:29+00:00

David Aspinall

2002-10-22T09:51:29+00:00

af82fb090b79e4efa21ab46b64428c7b00869782












Version 4.5 (beta?) sent by CW, as a package distrib.
2002-03-18T19:31:26+00:00

David Aspinall

2002-03-18T19:31:26+00:00

05785d411213afbd4d61398a037a3e3ceeee3e0c












Version 4.5 (beta?) sent by CW, as a package distrib.
2002-02-23T22:52:28+00:00

David Aspinall

2002-02-23T22:52:28+00:00

2c2894fcbd90aab46caca32ec9c3afc37d700c73












Version 4.5 (beta?) sent by CW, as a package distrib.
2002-02-23T22:08:57+00:00

David Aspinall

2002-02-23T22:08:57+00:00

e01f9ca57d2632f8e1372208c45fb94e4c06bf46