| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2003-02-16 | Updated. | David Aspinall | |
| 2003-02-15 | Updated. | David Aspinall | |
| 2003-02-15 | Link to CHANGES for comment on versions. | David Aspinall | |
| 2003-02-15 | Fixes so that compile works | David Aspinall | |
| 2003-02-15 | Line for Emacs compile | David Aspinall | |
| 2003-02-15 | Towards isabelle-refresh-logics | David Aspinall | |
| 2003-02-12 | change for version 0.83 of PhoX | Christophe Raffalli | |
| 2003-02-12 | Added the keyword "Local :=" to the coq-goal-command-p function, like | Pierre Courtieu | |
| Definition. | |||
| 2003-02-10 | little modif on the end-cammand regexp. | Pierre Courtieu | |
| 2003-02-10 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2003-02-10 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | |
| 2003-02-06 | little change to proof-script-command-end-regexp, again, to deal with | Pierre Courtieu | |
| coq-v6.2. In the next version we will remove support for coq < 7.0. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |