| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 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 | |
| 2003-02-17 | Update addresses | David Aspinall | |
| 2003-02-17 | Remove proof-shell-filter patch of Stefan Monnier which deals with multiple ↵ | David Aspinall | |
| prompts, but produces spurious output with Isabelle. | |||
| 2003-02-17 | Remove subterm markup striping in proof-shell-process-output (error case). Docs | David Aspinall | |
| 2003-02-16 | Added documentation string to the variables coq-version-is-V6 (new), | Pierre Courtieu | |
| coq-version-is-V7 and coq-version-is-V74. | |||
| 2003-02-16 | Updated. | David Aspinall | |
| 2003-02-16 | Set version tag for new release. | David Aspinall | |
| 2003-02-16 | Documentation. | David Aspinall | |
| 2003-02-16 | Add backwards compatibility for old pre-PGIP settings mechanism | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |