| Age | Commit message (Expand) | Author |
|---|
| 1999-09-13 | Added new toolbar buttons, streamlined code to work from a table | David Aspinall |
| 1999-09-13 | Added proof-terminal-string to proof-execute-minibuffer-cmd. | David Aspinall |
| 1999-09-13 | Removed transparent gif from splash screen because XEmacs can't | David Aspinall |
| 1999-09-13 | docstring improvements for proof-guess-command-name | David Aspinall |
| 1999-09-13 | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall |
| 1999-09-13 | Fix so that buffer names are shorter (esp for Coq). | David Aspinall |
| 1999-09-09 | tuned x-symbol setup (DvO); | Makarius Wenzel |
| 1999-09-03 | da: improved comment; | Makarius Wenzel |
| 1999-08-27 | Set version tag for new release. | David Aspinall |
| 1999-08-24 | Set version tag for new release. | David Aspinall |
| 1999-08-24 | Attempted fix of FSFmacs problem, left as comment | David Aspinall |
| 1999-08-24 | Docstring | David Aspinall |
| 1999-08-23 | FIXME to add menu to goals buffer, to match response buffer menu. | David Aspinall |
| 1999-08-23 | Disable properly if x-symbol is not available. | David Aspinall |
| 1999-08-23 | Integrated patch from David von Oheimb. | David Aspinall |
| 1999-08-23 | Fix for toolbar disable for FSF Emacs. | David Aspinall |
| 1999-08-23 | proof-version -> proof-general-version | David Aspinall |
| 1999-08-20 | proof-goto-end-of-locked-if-pos-not-visible-in-window: | David Aspinall |
| 1999-08-20 | Fix for process kill timeout bug. | David Aspinall |
| 1999-08-20 | Set version tag for new release. | David Aspinall |
| 1999-08-20 | prefer proof-shell-interrupt-regexp over proof-shell-error-regexp | Makarius Wenzel |
| 1999-08-20 | Fix for XEmacs 21 | David Aspinall |
| 1999-08-19 | Set version tag for new release. | David Aspinall |
| 1999-08-17 | Set version tag for new release. | David Aspinall |
| 1999-07-22 | Set version tag for new release. | David Aspinall |
| 1999-07-22 | Reverted change to Inferior buffer's name, it fails on simple | David Aspinall |
| 1999-07-16 | Set version tag for new release. | David Aspinall |
| 1999-07-08 | (goto-char (point-min)) rather than (proof-goto-end-of-locked); | Makarius Wenzel |
| 1999-07-07 | Set version tag for new release. | David Aspinall |
| 1999-07-03 | Set version tag for new release. | David Aspinall |
| 1999-07-02 | fixed some regexp via proof-anchor-regexp; | Makarius Wenzel |
| 1999-07-02 | Set version tag for new release. | David Aspinall |
| 1999-07-01 | Set version tag for new release. | David Aspinall |
| 1999-06-30 | Set version tag for new release. | David Aspinall |
| 1999-06-28 | Set version tag for new release. | David Aspinall |
| 1999-06-24 | Set version tag for new release. | proofgen |
| 1999-06-24 | Change of image | David Aspinall |
| 1999-06-21 | unkillable buffer bugfix | Patrick Loiseleur |
| 1999-06-18 | Docstring | David Aspinall |
| 1999-06-18 | tactics-name-face | Patrick Loiseleur |
| 1999-06-15 | Docstring fixes. | David Aspinall |
| 1999-06-14 | Bugfixes in proof-shell-exit and proof-shell-kill-function | Patrick Loiseleur |
| 1999-06-14 | Added proof-tactics-name-face | Patrick Loiseleur |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur |
| 1999-06-07 | Cleaned up docstrings | David Aspinall |
| 1999-06-07 | Set version tag for new release. | proofgen |
| 1999-05-27 | proof-parse-to-point improved to support proof-string-start-regexp, | Makarius Wenzel |
| 1999-05-27 | renamed proof-commands-regexp to proof-indent-commands-regexp, which | Makarius Wenzel |
| 1999-05-27 | improved proof-segment-up-to to support proof-string-start-regexp, | Makarius Wenzel |
| 1999-05-27 | added proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel |
