proof-general/x-symbol/fonts/xsymb1_14.bdf, branch master
Emacs plugins for proof management systems
Delete
2003-03-03T20:13:01+00:00
David Aspinall
2003-03-03T20:13:01+00:00
f43c7f921d796946b7888c800df49b12790fd469
X-Symbol version 4.45 beta
2002-02-23T22:08:56+00:00
David Aspinall
2002-02-23T22:08:56+00:00
f03b8c1efbe27e4b2f4933a93aec2e7e3f9c80a3