| Age | Commit message (Expand) | Author |
|---|
| 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-08-23 | FIXME to add menu to goals buffer, to match response buffer menu. | David Aspinall |
| 1999-08-20 | Fix for process kill timeout bug. | 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-07-22 | Reverted change to Inferior buffer's name, it fails on simple | David Aspinall |
| 1999-06-21 | unkillable buffer bugfix | Patrick Loiseleur |
| 1999-06-14 | Bugfixes in proof-shell-exit and proof-shell-kill-function | Patrick Loiseleur |
| 1999-06-08 | *** empty log message *** | Patrick Loiseleur |
| 1999-05-25 | removed superficial space; | Makarius Wenzel |
| 1999-05-17 | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur |
| 1999-01-15 | Experimental bug fix for Solaris problem | David Aspinall |
| 1998-12-18 | Beginnings of x-symbol support. | David Aspinall |
| 1998-12-15 | Fixes for FSF Emacs handling of processes, kill buffer hooks, | David Aspinall |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann |
| 1998-12-11 | Disabled hack for proof-shell-process-file which allowed | David Aspinall |
| 1998-12-11 | Removed proof-send, now use proof-shell-insert instead. | David Aspinall |
| 1998-12-11 | Disabled span-making part of proof-shell-analyse structure for Emacs 20.3 | David Aspinall |
| 1998-12-10 | Made point stay at top of goals buffer and bottom of response buffer | David Aspinall |
| 1998-12-08 | o special characters are no longer displayed in (16Bit) FSF GNU Emacs | Thomas Kleymann |
| 1998-12-07 | Added proof-shell-preprocess-command for Paul Callaghan. | David Aspinall |
| 1998-11-26 | BUG fix: proof-shell-message with str's containing format characters. | David Aspinall |
| 1998-11-25 | Got rid of an error message in case of process early exiting. | David Aspinall |
| 1998-11-25 | Docstring improvements. | David Aspinall |
| 1998-11-25 | FSF Emacs fix for buffer-file-truename, which is the | David Aspinall |
| 1998-11-25 | Improved kill function. Added process sentinel to watch for process exiting. | David Aspinall |
| 1998-11-25 | Replaced proof-pbp-buffer with proof-goals-buffer. | David Aspinall |
| 1998-11-25 | In filter: minor improvement for when proof-shell-wakeup-char is set. | David Aspinall |
| 1998-11-25 | Use make-local-hook instead of make-local-variable | David Aspinall |
| 1998-11-25 | Fixed up exit hook (still buggy) | David Aspinall |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall |
| 1998-11-25 | Improved docstrings | David Aspinall |
| 1998-11-25 | Docstring fixes | David Aspinall |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall |
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall |
| 1998-11-18 | . Changed behaviour of retracting current scripting buffer: | David Aspinall |
| 1998-11-18 | . bug fix for proof-shell-live-buffer. | David Aspinall |
| 1998-11-12 | Rashly fixed a suspicious looking nested use of set-buffer. Docstrings. | David Aspinall |
| 1998-11-12 | Renamed proof-mode-name -> proof-general-name. | David Aspinall |
| 1998-11-10 | Added buffers menu, and added shared menu to shell and response buffers. | David Aspinall |
| 1998-11-10 | Fixed bug for when proof-rsh-command is empty | David Aspinall |
| 1998-11-10 | Refresh response buffer when goals buffer is refreshed. | Thomas Kleymann |
| 1998-11-09 | Added proof-rsh-command to help complete documentation (was allocated | David Aspinall |
| 1998-11-03 | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | David Aspinall |
| 1998-11-03 | Removed FIXME | David Aspinall |
| 1998-11-03 | A* Fix display handling problems (tms, all week) | Thomas Kleymann |
| 1998-11-02 | Quick fix for multiple file problem when current scripting buffer is retracte... | David Aspinall |
| 1998-11-02 | Proof General no longer changes selected window/buffer under your feet. | Thomas Kleymann |
| 1998-11-02 | fixed minor bugs | Thomas Kleymann |
