| Age | Commit message (Expand) | Author |
|---|
| 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-18 | 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-17 | 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 | Fix isa-tool-list-docs for altered form of output from isatool doc | David Aspinall |
| 2004-04-17 | Update magic | David Aspinall |
| 2004-04-17 | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall |
| 2004-04-17 | Numerous updates and improvements: | David Aspinall |
| 2004-04-17 | Add shortcuts for new X-Symbol sequences. | David Aspinall |
| 2004-04-17 | Oops, remove junk. | David Aspinall |
| 2004-04-17 | Escape the string from substitute-command-keys in proof-defshortcut, proof-de... | David Aspinall |
| 2004-04-17 | Comments. | David Aspinall |
| 2004-04-17 | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | David Aspinall |
| 2004-04-17 | Updated. | David Aspinall |
| 2004-04-17 | Clear the stuff to do before 3.5 | David Aspinall |
