| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | Add compatibility hack for Emacs 21.2.1 customize-menu-create |  David Aspinall | 2004-04-26 |
| * | Allow proof-goto-end-of-locked to work again if no active scripting buffer. | David Aspinall | 2004-04-26 |
| * | Allow CMD to be nil in proof-shell-invisible-command (failsafe). | David Aspinall | 2004-04-26 |
| * | Updated. | David Aspinall | 2004-04-24 |
| * | Set version tag for new release. | David Aspinall | 2004-04-24 |
| * | Update pre-rel tag | David Aspinall | 2004-04-24 |
| * | Update magic. | David Aspinall | 2004-04-24 |
| * | Updated. | David Aspinall | 2004-04-24 |
| * | Update test files | David Aspinall | 2004-04-24 |
| * | Spacing | David Aspinall | 2004-04-24 |
| * | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
| * | New files. | David Aspinall | 2004-04-24 |
| * | Add FAW on cannot switch buffers error | David Aspinall | 2004-04-24 |
| * | Fix comment | David Aspinall | 2004-04-24 |
| * | fixed the need input_spec warning. |  Pierre Courtieu | 2004-04-23 |
| * | Adjust attempt at multiple file handling. Run make instead of coqc if find a... | David Aspinall | 2004-04-23 |
| * | Updated. | David Aspinall | 2004-04-23 |
| * | modified the syntax for subscript in coq/pg | Pierre Courtieu | 2004-04-23 |
| * | deleted coq x symbols doc in CHANGES. | Pierre Courtieu | 2004-04-23 |
| * | New files. | David Aspinall | 2004-04-22 |
| * | Tidy menus, add new commands | David Aspinall | 2004-04-22 |
| * | Add extra user options, extra commands, start of new attempt at multiple file. | David Aspinall | 2004-04-22 |
| * | Add proof-save-some-buffers | David Aspinall | 2004-04-22 |
| * | Update to Coq 8.0 syntax | David Aspinall | 2004-04-22 |
| * | Add proof-deactivate-scripting-hook | David Aspinall | 2004-04-22 |
| * | Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo... | David Aspinall | 2004-04-22 |
| * | Allow empty :setting, :eval in defpacustom. | David Aspinall | 2004-04-22 |
| * | Updated. | David Aspinall | 2004-04-21 |
| * | Fix home page address, mention new menu option. | David Aspinall | 2004-04-21 |
| * | Update for V8 syntax. | David Aspinall | 2004-04-21 |
| * | Updated. | David Aspinall | 2004-04-21 |
| * | Set version tag for new release. | David Aspinall | 2004-04-21 |
| * | Updated. | David Aspinall | 2004-04-21 |
| * | Deleted the "3 buffers view menu entry" for coq, this is now a | Pierre Courtieu | 2004-04-21 |
| * | Tweak some text | David Aspinall | 2004-04-21 |
| * | Updated. | David Aspinall | 2004-04-21 |
| * | Set version tag for new release. | David Aspinall | 2004-04-18 |
| * | Set version tag for new release. | David Aspinall | 2004-04-18 |
| * | Set version tag for new release. | David Aspinall | 2004-04-18 |
| * | Updated. | David Aspinall | 2004-04-18 |
| * | Obey proof-eagerly-raise in proof-layout-windows. | David Aspinall | 2004-04-18 |
| * | Add proof-eagerly-raise setting, disable it for trace buffer. | David Aspinall | 2004-04-18 |
| * | Multiple frames annoyances, also proof-eagerly-raise setting. | David Aspinall | 2004-04-18 |
| * | Try to stop proof-delete-other-frames from bringing up new | David Aspinall | 2004-04-18 |
| * | Try to stop frame proliferation: let proof-shell-start make frames, | David Aspinall | 2004-04-18 |
| * | Add save-selected-frame for GNU Emacs | David Aspinall | 2004-04-18 |
| * | Comment about menu layout. | David Aspinall | 2004-04-18 |
| * | Comments. | David Aspinall | 2004-04-18 |
| * | Remove faulty compatiblity for XE 21.1 | David Aspinall | 2004-04-18 |
| * | Set version tag for new release. | David Aspinall | 2004-04-17 |
David Aspinall
Pierre Courtieu