index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
x-symbol
Commit message (
Expand
)
Author
Age
*
x-symbol-invisible-font: Prevent using invisible font if have got x-symbol-em...
David Aspinall
2007-12-12
*
x-symbol-use-unicode customizable
David Aspinall
2007-12-11
*
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-10
*
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-12-08
*
Cleanup mac init, make it compile safe
David Aspinall
2007-06-10
*
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-05-11
*
New files.
David Aspinall
2007-02-08
*
New files.
David Aspinall
2006-10-29
*
Updated.
David Aspinall
2006-10-29
*
Updated.
David Aspinall
2006-09-07
*
New files.
David Aspinall
2005-03-23
*
Large fonts
David Aspinall
2005-03-23
*
Changes from Clemens Ballarin for large X-Symbol fonts
David Aspinall
2005-02-15
*
New files.
David Aspinall
2005-02-15
*
More proofgeneral.org removals
David Aspinall
2004-08-25
*
Updated.
David Aspinall
2004-08-24
*
Updated.
David Aspinall
2004-06-16
*
Add -q to stop site packages loading during compile
David Aspinall
2004-02-29
*
Update to 4.5.1-beta from sourceforge.
David Aspinall
2003-09-24
*
Deleted file
David Aspinall
2003-09-24
*
Updated.
David Aspinall
2003-09-22
*
Updated version sent sent by CW
David Aspinall
2003-03-14
*
Patch from CW to fix sub/supers prob.
David Aspinall
2003-03-06
*
Updated.
David Aspinall
2003-03-03
*
New files.
David Aspinall
2003-03-03
*
Deleted file
David Aspinall
2003-03-03
*
Updated.
David Aspinall
2003-03-03
*
Deleted file
David Aspinall
2003-03-03
*
Delete
David Aspinall
2003-03-03
*
Updated.
David Aspinall
2003-03-03
*
Update to 4.5 (pre?) version CW sent
David Aspinall
2003-03-01
*
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-03-01
|
\
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-03-01
|
*
This commit was manufactured by cvs2git to create branch 'xsym'.
cvs2git
2003-03-01
*
|
New files.
David Aspinall
2003-03-01
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-27
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-27
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
|
\
|
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-26
|
\
|
[next]