| Age | Commit message (Expand) | Author |
|---|
| 2003-02-27 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall |
| 2003-02-27 | 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-26 | Version 4.5 (beta?) sent by CW, as a package distrib. | 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 |
| 2003-02-20 | Updated. | David Aspinall |
| 2003-02-20 | Set version tag for new release. | David Aspinall |
| 2003-02-20 | corrected a bug of pg/coq, the following line was not recognized as a | Pierre Courtieu |
| 2003-02-19 | Updated. | David Aspinall |
| 2003-02-19 | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall |
| 2003-02-19 | Documentation. | David Aspinall |
| 2003-02-19 | Docs; same safe-fail for MMM as X-Symbol. | David Aspinall |
| 2003-02-19 | Documentation. | David Aspinall |
| 2003-02-19 | Use bundled version off mmm first | David Aspinall |
