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