| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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 | 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |