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
/
lisp
Commit message (
Collapse
)
Author
Age
*
Update to 4.5.1-beta from sourceforge.
David Aspinall
2003-09-24
|
*
Deleted file
David Aspinall
2003-09-24
|
*
Updated version sent sent by CW
David Aspinall
2003-03-14
|
*
Patch from CW to fix sub/supers prob.
David Aspinall
2003-03-06
|
*
New files.
David Aspinall
2003-03-03
|
*
Deleted file
David Aspinall
2003-03-03
|
*
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-03-01
|
\
|
|
|
|
branch.
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-03-01
|
|
*
|
This commit was generated by cvs2git to track changes on a CVS vendor
David Aspinall
2003-02-27
|
\
|
|
|
|
|
branch.
|
*
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
|
\
|
|
|
|
|
branch.
|
*
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
|
\
|
|
|
|
|
branch.
|
*
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
|
\
|
|
|
|
|
branch.
|
*
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
|
\
|
|
|
|
|
branch.
|
*
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
|
\
|
|
|
|
|
branch.
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-26
|
|
*
|
Deleting
David Aspinall
2003-02-22
|
|
*
|
Deleted file
David Aspinall
2003-02-22
|
/
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-02-04
|
*
Version 4.5 (beta?) sent by CW, as a package distrib.
David Aspinall
2003-01-28
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-22
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-21
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-16
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-02
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-02
|
*
X-Symbol version 4.45 beta
David Aspinall
2003-01-02
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-12-11
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-12-10
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-12-10
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-12-09
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-10-29
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-10-29
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-07-29
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-04-22
|
*
This commit was manufactured by cvs2git to create branch 'xsym'.
cvs2git
2002-04-16
|
|
|
|
Cherrypick from master 2002-04-16 13:38:30 UTC David Aspinall <da@inf.ed.ac.uk> 'Initial revision': x-symbol/lisp/Makefile
*
X-Symbol version 4.45 beta
David Aspinall
2002-04-16
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-03-12
|
*
X-Symbol version 4.45 beta
David Aspinall
2002-02-23