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












Updated.
2008-07-18T23:06:19+00:00

David Aspinall

2008-07-18T23:06:19+00:00

0e276db6d5bbca5d4710e3a7b178dcb3d0215c55












Mac OS: default to XSymb1.ttf;
2008-07-18T16:10:30+00:00

Makarius Wenzel

2008-07-18T16:10:30+00:00

10c5eb2f73820c32422b066e844f37cc57a686f6












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












x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable xsymb font;
2008-07-11T20:40:38+00:00

Makarius Wenzel

2008-07-11T20:40:38+00:00

4f2daf497faa48671758f91b2e0c0c27f11a5d79












Add customization for use of image converter, default to disable.
2008-07-05T14:13:54+00:00

David Aspinall

2008-07-05T14:13:54+00:00

170973824f698d28c9891058dde929e1ce4bac11












Restore Emacs<=23 compatibility!
2008-02-05T22:06:14+00:00

David Aspinall

2008-02-05T22:06:14+00:00

c5dbb140389fc67cbe78c84ae7dca8fd78d92e95












Attempt at Emacs 23 compatibility, not quite working.
2008-02-03T14:21:41+00:00

David Aspinall

2008-02-03T14:21:41+00:00

32179d7b9506bf223b7794c6944f409d0bab888a












Update note re Carbon Emacs
2008-01-31T21:26:23+00:00

David Aspinall

2008-01-31T21:26:23+00:00

b236ed3f7af34ac744947b2479fe102976da37ef