| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
| 2003-02-06 | Slight modification to proof-script-command-end-regexp in coq.el, to | Pierre Courtieu | |
| allow command at the end of the buffer. | |||
| 2003-02-05 | Updated. | David Aspinall | |
| 2003-02-05 | Grumpy note | David Aspinall | |
| 2003-02-05 | Updated. | David Aspinall | |
| 2003-02-05 | Updated. | David Aspinall | |
| 2003-02-05 | Set version tag for new release. | David Aspinall | |
| 2003-02-05 | Updated. | David Aspinall | |
| 2003-02-05 | Doc generalisation of proof-script-command-end-regexp. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |