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
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
2003-09-24
Deleted file
David Aspinall
2003-09-22
Updated.
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-03-03
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-01
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-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
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-22
Renamed file
David Aspinall
2003-02-22
Deleting
David Aspinall
2003-02-22
Deleted file
David Aspinall
2003-02-19
This commit was manufactured by cvs2git to create branch 'xsym'.
cvs2git
2003-02-19
New files.
David Aspinall
[next]