Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update magic | David Aspinall | 2003-06-05 |
| | |||
* | Typo; update magic | David Aspinall | 2003-06-05 |
| | |||
* | Updated magic | David Aspinall | 2003-03-17 |
| | |||
* | Note about M-x x-symbol-mode | David Aspinall | 2003-03-03 |
| | |||
* | Update doc of X-Sym | David Aspinall | 2003-03-01 |
| | |||
* | Added a paragraph in the documentation for the variable coq-version-is-V74. | Pierre Courtieu | 2003-02-05 |
| | |||
* | Update version number, reorg. | David Aspinall | 2002-09-11 |
| | |||
* | Doc new proof-zap-commas | David Aspinall | 2002-08-31 |
| | |||
* | Add -q to emacs | David Aspinall | 2002-08-31 |
| | |||
* | Add Stefan Monnier | David Aspinall | 2002-08-29 |
| | |||
* | Remove proof-splash-extensions | David Aspinall | 2002-08-29 |
| | |||
* | Updated. | David Aspinall | 2002-08-29 |
| | |||
* | Update magic | David Aspinall | 2002-08-29 |
| | |||
* | Update magic | David Aspinall | 2002-08-29 |
| | |||
* | Update dir entries, remove localdir file | David Aspinall | 2002-08-28 |
| | |||
* | Updated magic | David Aspinall | 2002-08-27 |
| | |||
* | Tweak | David Aspinall | 2002-08-27 |
| | |||
* | Add PG adapting. | David Aspinall | 2002-08-27 |
| | |||
* | Tweak Pierres docs | David Aspinall | 2002-08-12 |
| | |||
* | Tweak Pierres docs | David Aspinall | 2002-08-12 |
| | |||
* | Update magic | David Aspinall | 2002-08-12 |
| | |||
* | Document experimental features; update other descriptions. | David Aspinall | 2002-08-12 |
| | |||
* | Doc comments also under vis control | David Aspinall | 2002-08-09 |
| | |||
* | Authorship, comments. | David Aspinall | 2002-08-08 |
| | |||
* | Fix markup | David Aspinall | 2002-08-08 |
| | |||
* | Fix email addresses; tweaks. | David Aspinall | 2002-08-08 |
| | |||
* | Trivial. | David Aspinall | 2002-08-08 |
| | |||
* | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall | 2002-08-07 |
| | |||
* | Rename proof-dont-switch-windows -> proof-three-window-mode | David Aspinall | 2002-08-07 |
| | |||
* | Changed a bit more the doc and the CHANGES file, to be | Pierre Courtieu | 2002-07-26 |
| | | | | consitent. Concerns the coq-user... variables. | ||
* | The doc for coq-user-... variables is a bit better, their name has | Pierre Courtieu | 2002-07-26 |
| | | | | changed to be more explicit. | ||
* | Variable name change proof-comment-{start,end}-regexp -> ↵ | David Aspinall | 2002-07-19 |
| | | | | proof-script-comment-{start,end}-regexp. | ||
* | Mention how to enable X-Symbol. | David Aspinall | 2002-07-18 |
| | |||
* | More on keybindings: include old x-symbol-isabelle bindings but using super. | David Aspinall | 2002-07-18 |
| | |||
* | Update magic | David Aspinall | 2002-07-18 |
| | |||
* | Update magic, move version history to appendix. | David Aspinall | 2002-07-18 |
| | |||
* | Refactor several variable names; clean up, doc subterm markup and output ↵ | David Aspinall | 2002-07-16 |
| | | | | display. | ||
* | Fix authorship | David Aspinall | 2002-07-14 |
| | |||
* | Remove description of known bugs. | David Aspinall | 2002-07-02 |
| | |||
* | Updates for 3.4 | David Aspinall | 2002-07-01 |
| | |||
* | GPL, 3.4 dates | David Aspinall | 2002-06-21 |
| | |||
* | Updated the doc and the CHANGES file about new backtracking for Coq. | Pierre Courtieu | 2002-06-19 |
| | |||
* | Add doc of proof-shell-last-prompt. | David Aspinall | 2002-06-19 |
| | |||
* | Fix info | David Aspinall | 2002-06-19 |
| | |||
* | Add news for PG 3.4 | David Aspinall | 2002-06-18 |
| | |||
* | Update magic. Document nested proof settings. | David Aspinall | 2002-06-18 |
| | |||
* | Update magic | David Aspinall | 2002-06-08 |
| | |||
* | updated URLxsymbol (unused); | Makarius Wenzel | 2002-05-13 |
| | |||
* | Reflect change in load order | David Aspinall | 2002-05-03 |
| | |||
* | Fix URL for X-symbol | David Aspinall | 2002-04-23 |
| |