aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-response.el
Commit message (Expand)AuthorAge
* Add idle timer to cleanup tracing display.Gravatar David Aspinall2003-06-19
* Add code to recognize fast tracing output from prover, and play slow catchup.Gravatar David Aspinall2003-06-05
* Revert to displaying empty buffer for sake of pr in IsarGravatar David Aspinall2003-05-24
* Do not display empty responsesGravatar David Aspinall2003-05-24
* Comment about desirability for lazy-shot in trace outputGravatar David Aspinall2003-03-14
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
* Try to catch nesting too deep ugliness (esp in Isabelle tracing)Gravatar David Aspinall2002-12-29
* set-specifier -> remove-specifier as per XEmacs docs.Gravatar David Aspinall2002-09-13
* Don't insert blank line at top of response buffer.Gravatar David Aspinall2002-09-11
* Missing parenGravatar David Aspinall2002-09-11
* Begin adding code for thms bufferGravatar David Aspinall2002-09-04
* Tidy displayGravatar David Aspinall2002-08-30
* Make font-lock-keywords buffer local for sake of Emacs 21.2.Gravatar David Aspinall2002-08-28
* DocstringGravatar David Aspinall2002-08-27
* Disable undo history for efficiency; add clear response buffers function; cle...Gravatar David Aspinall2002-08-27
* Try to prevent associated buffers being killed off by user.Gravatar David Aspinall2002-08-26
* Refactoring.Gravatar David Aspinall2002-08-15
* Reorganized menus; add options save function; fix capitalization of namesGravatar David Aspinall2002-08-07
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* RefactoringGravatar David Aspinall2002-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 23:34:18 +0000