| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2003-02-19 | Updated. | David Aspinall | |
| 2003-02-19 | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | |
| off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!). | |||
| 2003-02-18 | Add pg-xml to main dist | David Aspinall | |
| 2003-02-18 | Comments. | David Aspinall | |
| 2003-02-18 | Updated. | David Aspinall | |
| 2003-02-18 | Deleted files. | David Aspinall | |
| 2003-02-18 | Updated. | David Aspinall | |
| 2003-02-18 | Test with -- short comments. Docs | David Aspinall | |
| 2003-02-18 | Delete | David Aspinall | |
| 2003-02-18 | New files. | David Aspinall | |
| 2003-02-18 | Small bugfix. | David Aspinall | |
| 2003-02-18 | New files. | David Aspinall | |
| 2003-02-18 | Updated. | David Aspinall | |
| 2003-02-18 | Add support for MMM mode | David Aspinall | |
| 2003-02-18 | Refactor proof-config-done for clarity | David Aspinall | |
| 2003-02-18 | New files. | David Aspinall | |
| 2003-02-18 | Documentation. | David Aspinall | |
| 2003-02-18 | Decoration to show off MMM mode | David Aspinall | |
| 2003-02-17 | Mention adding MMM mode | David Aspinall | |
| 2003-02-17 | New files. | David Aspinall | |
| 2003-02-17 | New files. | David Aspinall | |
| 2003-02-17 | Updated. | David Aspinall | |
| 2003-02-17 | Test case for {nested proof} in isabelle | David Aspinall | |
| 2003-02-17 | Set version tag for new release. | David Aspinall | |
| 2003-02-17 | Revert to old isar-ids-to-regexp | David Aspinall | |
| 2003-02-17 | Larrys suggestion for lookup-syntax-properties. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |