proof-general/x-symbol/README.x-symbol-for-ProofGeneral, branch master

proof-general/x-symbol/README.x-symbol-for-ProofGeneral, 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

Updated. 2008-07-18T23:06:19+00:00 David Aspinall 2008-07-18T23:06:19+00:00 0e276db6d5bbca5d4710e3a7b178dcb3d0215c55

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

Note about instructions on X-Symb for Mac 2008-01-31T12:43:33+00:00 David Aspinall 2008-01-31T12:43:33+00:00 a2c749794b51921685081b81883f13815b2f9d5a

Instructions on X-Symb for Mac 2008-01-31T12:42:58+00:00 David Aspinall 2008-01-31T12:42:58+00:00 37a9843fc41253b21a6f14ec506c3b35dd63151a

Note about isaxsymb1.ttf 2008-01-31T12:42:18+00:00 David Aspinall 2008-01-31T12:42:18+00:00 52fee35ff296049a77f9e4c40ad5f46849a161a7

Updated. 2006-09-07T20:24:30+00:00 David Aspinall 2006-09-07T20:24:30+00:00 c9c9e4ab209b8736b648bf54a0a24c1e134fe12f

Updated. 2004-08-24T11:15:27+00:00 David Aspinall 2004-08-24T11:15:27+00:00 990a57a3b22c3042d7dd3440feeed7e07a0aa5de

Updated. 2004-06-16T15:07:25+00:00 David Aspinall 2004-06-16T15:07:25+00:00 33d32847f5a0ea31d89b8a5a20c784ceffe2bace

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