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
Age
Commit message (
Expand
)
Author
2008-12-05
Deleted file
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-07-18
Updated.
David Aspinall
2008-07-18
Mac OS: default to XSymb1.ttf;
Makarius Wenzel
2008-07-18
added scalable X-Symbol fonts -- the Jerusalem version from 2004;
Makarius Wenzel
2008-07-11
x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable xs...
Makarius Wenzel
2008-07-05
Add customization for use of image converter, default to disable.
David Aspinall
2008-02-05
Restore Emacs<=23 compatibility!
David Aspinall
2008-02-03
Attempt at Emacs 23 compatibility, not quite working.
David Aspinall
2008-01-31
Update note re Carbon Emacs
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-31
Note about instructions on X-Symb for Mac
David Aspinall
2008-01-31
Instructions on X-Symb for Mac
David Aspinall
2008-01-31
Note about isaxsymb1.ttf
David Aspinall
2008-01-29
Disable x-symbol-mac-setup2 for now until compile can be fixed.
David Aspinall
2008-01-29
Comments.
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
2008-01-27
Comment cleanup
David Aspinall
2008-01-27
Updated.
David Aspinall
2008-01-26
Revert invisible behaviour for GNU Emacs 21.X
David Aspinall
2008-01-25
Deleted file
David Aspinall
2008-01-16
New files.
David Aspinall
2007-12-14
Add note about x-symbol-set-face-font for emacs22u
David Aspinall
2007-12-12
x-symbol-invisible-font: Prevent using invisible font if have got x-symbol-em...
David Aspinall
2007-12-11
x-symbol-use-unicode customizable
David Aspinall
2007-12-10
Enable invisible font lock property for Emacs now, reveal invisible seems to ...
David Aspinall
2007-12-10
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-08
Anticipate future versions have same API, not just 21.5.b28
David Aspinall
2007-12-08
Fix for XEmacs 21.5 beta28
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
2007-05-11
Unicode patch, in progress
David Aspinall
2007-05-11
Patch for Mac
David Aspinall
2007-05-11
Font from Norbert Voelker
David Aspinall
2007-05-11
Target for dfont
David Aspinall
2007-02-08
New files.
David Aspinall
2006-10-29
New files.
David Aspinall
2006-10-29
Updated.
David Aspinall
2006-09-07
Updated.
David Aspinall
2005-03-23
New files.
David Aspinall
2005-03-23
Large fonts
David Aspinall
2005-02-15
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
New files.
David Aspinall
2004-08-25
More proofgeneral.org removals
David Aspinall
2004-08-24
Updated.
David Aspinall
2004-06-16
Updated.
David Aspinall
2004-02-29
Add -q to stop site packages loading during compile
David Aspinall
2003-09-24
Update to 4.5.1-beta from sourceforge.
David Aspinall
[next]