| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | |
| 2003-02-10 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 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 | |
| 2003-02-05 | Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing | David Aspinall | |
| 2003-02-05 | New files. | David Aspinall | |
| 2003-02-05 | New setting for parse cmdend regexp. | David Aspinall | |
| 2003-02-05 | Compatibility function for customize-menu-create | David Aspinall | |
| 2003-02-05 | Give up on customize-menu-create on GNU Emacs | David Aspinall | |
| 2003-02-05 | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu | |
| 2003-02-04 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | |
| 2003-02-04 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2003-02-04 | Coq/pg: fixed a little bug with the "Print Hint" state preserving | Pierre Courtieu | |
| command, which must not be matched by the state changing command "Hint". I put "\\`Hint" in the keyword list, but I am not sure this is the best way. | |||
| 2003-02-03 | Updated. | David Aspinall | |
| 2003-02-03 | Set version tag for new release. | David Aspinall | |
| 2003-02-03 | code cleaning + deals better with the new module system of Coq. Did | Pierre Courtieu | |
| not test the fsfemacs. Will do before release. | |||
| 2003-02-03 | - Moved "show me" menu one level up in the menu hierarchy | Stefan Berghofer | |
| - Reordered entries in "show me" menu and added entry for displaying matching introduction rules | |||
| 2003-02-02 | Fix from Christoph Conrad for Emacs compatibility (buffer-string) | David Aspinall | |
| 2003-01-30 | Bug correction in the find-and-forget function for coq: in Coq v74, no | Pierre Courtieu | |
| prompt is return if an empty command is send ("\n"), so if the command is empty, we send proof-no-command (if not, backtracking state preserving command stays indefinitely in "proof process busy" state). | |||
| 2003-01-29 | Added a file for testing modules of coq (new version 7.4). Plus some | Pierre Courtieu | |
| modification to better backtrack modules. | |||
| 2003-01-29 | Updated. | David Aspinall | |
| 2003-01-29 | Add remassoc for FSF. | David Aspinall | |
| 2003-01-28 | Version 4.5 (beta?) sent by CW, as a package distrib. | David Aspinall | |
| 2003-01-28 | This commit was generated by cvs2git to track changes on a CVS vendor | David Aspinall | |
| branch. | |||
| 2003-01-24 | Fix hilight of Module Type? | David Aspinall | |
| 2003-01-24 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |