index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
x-symbol
/
lisp
/
x-symbol.el
Age
Commit message (
Expand
)
Author
2008-12-05
Deleted file
David Aspinall
2008-07-18
Mac OS: default to XSymb1.ttf;
Makarius Wenzel
2008-02-03
Attempt at Emacs 23 compatibility, not quite working.
David Aspinall
2008-01-31
Add nomodify argument to set-buffer-file-coding-system call, to
David Aspinall
2008-01-31
Fix compile problem in x-symbol-mac-setup2
David Aspinall
2008-01-29
Disable x-symbol-mac-setup2 for now until compile can be fixed.
David Aspinall
2008-01-29
Protect against improper initialisation errors.
David Aspinall
2008-01-29
Fix define-ccl-program call; require 'ccl for compile.
David Aspinall
2007-12-12
x-symbol-invisible-font: Prevent using invisible font if have got x-symbol-em...
David Aspinall
2007-06-10
Cleanup mac init, make it compile safe
David Aspinall
2007-05-11
Experimental patch for unicode/mac support
David Aspinall
2003-09-24
Update to 4.5.1-beta from sourceforge.
David Aspinall
2003-03-14
Updated version sent sent by CW
David Aspinall
2003-03-06
Patch from CW to fix sub/supers prob.
David Aspinall
2003-02-26
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-01-16
X-Symbol version 4.45 beta
David Aspinall