| Age | Commit message (Expand) | Author |
|---|
| 2003-03-03 | Updated. | David Aspinall |
| 2003-03-01 | Update doc of X-Sym | 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-03-01 | Some fixes/error protection in shrink window | David Aspinall |
| 2003-03-01 | Refactor function used for Isar parsing a little. | 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-24 | Updated. | David Aspinall |
| 2003-02-24 | Fix to shrink-windows-tofit | David Aspinall |
| 2003-02-24 | Install x-sym/mmm | David Aspinall |
| 2003-02-24 | Updated. | David Aspinall |
| 2003-02-24 | Documentation. | David Aspinall |
| 2003-02-24 | Updated. | David Aspinall |
| 2003-02-24 | Set version tag for new release. | David Aspinall |
| 2003-02-24 | Set x-symbol-data-directory | David Aspinall |
| 2003-02-24 | Fix proofdefinvisible, proofdefshortcut to work in compiled version | David Aspinall |
| 2003-02-24 | Add mmm and x-symbol | David Aspinall |
| 2003-02-24 | Fix some compile errors | David Aspinall |
| 2003-02-22 | Say Coq 7.4 | David Aspinall |
| 2003-02-22 | Renamed file | David Aspinall |
| 2003-02-22 | Updated. | David Aspinall |
| 2003-02-22 | Set version tag for new release. | David Aspinall |
| 2003-02-22 | Deleting | David Aspinall |
| 2003-02-22 | Deleted file | David Aspinall |
| 2003-02-22 | Fixes to work with bundled version | David Aspinall |
| 2003-02-22 | Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta) | David Aspinall |
| 2003-02-22 | Updated. | David Aspinall |
| 2003-02-22 | auto-coding-alist | David Aspinall |
| 2003-02-22 | New files. | David Aspinall |
| 2003-02-22 | Move x-sym config to x-symbol-isa.el | David Aspinall |
| 2003-02-22 | Move x-sym config to x-symbol-isar.el | David Aspinall |
| 2003-02-22 | Experiments with auto-style | David Aspinall |
| 2003-02-22 | Add code to use bundled version, commented out since broken. | David Aspinall |
| 2003-02-21 | X-Symbol version 4.45 beta | David Aspinall |
