| Commit message (Expand) | Author | Age |
* | 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 |
* | Tag for 3.5 | David Aspinall | 2004-04-17 |
* | Branch for 3.5 release | David Aspinall | 2004-04-17 |
* | Branch for 3.5 release | David Aspinall | 2004-04-17 |
* | Set version tag for new release. | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Updated magic | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Escape { and } | David Aspinall | 2004-04-17 |
* | Add missing menu entry. | David Aspinall | 2004-04-17 |
* | Set version tag for new release. | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Note about bad pgscripts editing | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Compiler warnings | David Aspinall | 2004-04-17 |
* | Minor changes to avoid some compiler warnings | David Aspinall | 2004-04-17 |
* | Fix bug in replace-in-string for GNU Emacs | David Aspinall | 2004-04-17 |
* | Clean up, re-order, change priorities, remove done things. | David Aspinall | 2004-04-17 |
* | Clarify that it is right to query saves in proof-retract-until-point's call | David Aspinall | 2004-04-17 |
* | Updated. | David Aspinall | 2004-04-17 |
* | Comments. | David Aspinall | 2004-04-17 |