proof-general/x-symbol/etc, branch master Emacs plugins for proof management systems Deleted file 2008-12-05T11:57:23+00:00 David Aspinall 2008-12-05T11:57:23+00:00 bee92a63f216a48d83ecb21dc17da960fa22141a 






Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00

David Aspinall

2008-07-24T09:51:53+00:00

76d6b0b2b1f039549d308a0d2c478a6b05869af9












added scalable X-Symbol fonts -- the Jerusalem version from 2004;
2008-07-18T16:02:20+00:00

Makarius Wenzel

2008-07-18T16:02:20+00:00

ab0e60b1ba14e6399b326b14512b8f7f0fcfbca4












Font from Norbert Voelker
2007-05-11T07:36:19+00:00

David Aspinall

2007-05-11T07:36:19+00:00

d1ebd459338ea5df13710fa29ef48c34315d3285












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

David Aspinall

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

2433ad222c898a58aaee467c9fa238a6e127a1f5












New files.
2007-02-08T19:34:09+00:00

David Aspinall

2007-02-08T19:34:09+00:00

d24bf4ede92eaaae346adab395682b7791ca782a












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












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