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