aboutsummaryrefslogtreecommitdiff
path: root/x-symbol
AgeCommit message (Collapse)Author
2003-09-24Deleted fileDavid Aspinall
2003-09-22Updated.David Aspinall
2003-03-14Updated version sent sent by CWDavid Aspinall
2003-03-06Patch from CW to fix sub/supers prob.David Aspinall
2003-03-03Updated.David Aspinall
2003-03-03New files.David Aspinall
2003-03-03Deleted fileDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Deleted fileDavid Aspinall
2003-03-03DeleteDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-01Update to 4.5 (pre?) version CW sentDavid Aspinall
2003-03-01This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-03-01Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-03-01This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.x-symbol-for-ProofGeneral x-symbol/info/x-symbol.info
2003-03-01New files.David Aspinall
2003-02-27Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-27This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
2003-02-22Renamed fileDavid Aspinall
2003-02-22DeletingDavid Aspinall
2003-02-22Deleted fileDavid Aspinall
2003-02-19This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.ProofGeneral
2003-02-19New files.David Aspinall
2003-02-10Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-04Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-28Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-23Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-22X-Symbol version 4.45 betaDavid Aspinall
2003-01-21X-Symbol version 4.45 betaDavid Aspinall
2003-01-21Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-17X-Symbol version 4.45 betaDavid Aspinall
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 05:58:32 +0000