| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2003-02-26 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 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 | |
| branch. | |||
| 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 | |
| branch. | |||
| 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 | |
| branch. | |||
| 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 | |
| module start: Module M:T with Definition A:=u. I had to count the number of 'with' and ':=' to know if the last ':=' was a Module given explicitely (--> no module start) or only part of a 'with ...:=' (--> module start). | |||
| 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 | |
| 2003-02-19 | This 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-19 | New files. | David Aspinall | |
| 2003-02-19 | Renamed file | David Aspinall | |
| 2003-02-19 | Updated. | David Aspinall | |
| 2003-02-19 | New files. | David Aspinall | |
| 2003-02-19 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |