Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Updated. | 2004-06-16 | |
| | |||
* | Add -q to stop site packages loading during compile | 2004-02-29 | |
| | |||
* | Update to 4.5.1-beta from sourceforge. | 2003-09-24 | |
| | |||
* | Deleted file | 2003-09-24 | |
| | |||
* | Updated. | 2003-09-22 | |
| | |||
* | Updated version sent sent by CW | 2003-03-14 | |
| | |||
* | Patch from CW to fix sub/supers prob. | 2003-03-06 | |
| | |||
* | Updated. | 2003-03-03 | |
| | |||
* | New files. | 2003-03-03 | |
| | |||
* | Deleted file | 2003-03-03 | |
| | |||
* | Updated. | 2003-03-03 | |
| | |||
* | Deleted file | 2003-03-03 | |
| | |||
* | Delete | 2003-03-03 | |
| | |||
* | Updated. | 2003-03-03 | |
| | |||
* | Update to 4.5 (pre?) version CW sent | 2003-03-01 | |
| | |||
* | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-03-01 | |
|\ | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-03-01 | |
| | | |||
| * | This commit was manufactured by cvs2git to create branch 'xsym'. | 2003-03-01 | |
| | | | | | | | | | | 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 | ||
* | | New files. | 2003-03-01 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-27 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-27 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | This commit was generated by cvs2git to track changes on a CVS vendor | 2003-02-26 | |
|\| | | | | | branch. | ||
| * | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-26 | |
| | | |||
* | | Renamed file | 2003-02-22 | |
| | | |||
* | | Deleting | 2003-02-22 | |
| | | |||
* | | Deleted file | 2003-02-22 | |
| | | |||
| * | This commit was manufactured by cvs2git to create branch 'xsym'. | 2003-02-19 | |
| | | | | | | | | Cherrypick from master 2003-02-19 13:02:17 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.ProofGeneral | ||
* | | New files. | 2003-02-19 | |
|/ | |||
* | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-10 | |
| | |||
* | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-02-04 | |
| | |||
* | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-01-28 | |
| | |||
* | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-01-23 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-22 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-22 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-22 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-21 | |
| | |||
* | Version 4.5 (beta?) sent by CW, as a package distrib. | 2003-01-21 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-17 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-16 | |
| | |||
* | X-Symbol version 4.45 beta | 2003-01-16 | |
| |