proof-general/x-symbol/etc/origfonts/helvR18.bdf, branch master
Emacs plugins for proof management systems
Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00
David Aspinall
2008-07-24T09:51:53+00:00
76d6b0b2b1f039549d308a0d2c478a6b05869af9
New files.
2005-02-15T18:42:59+00:00
David Aspinall
2005-02-15T18:42:59+00:00
bfe9931a3bdb711015eadc3696822d7e76c01186