aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-response.el
AgeCommit message (Expand)Author
2003-06-05Add code to recognize fast tracing output from prover, and play slow catchup.David Aspinall
2003-05-24Revert to displaying empty buffer for sake of pr in IsarDavid Aspinall
2003-05-24Do not display empty responsesDavid Aspinall
2003-03-14Comment about desirability for lazy-shot in trace outputDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2002-12-29Try to catch nesting too deep ugliness (esp in Isabelle tracing)David Aspinall
2002-09-13set-specifier -> remove-specifier as per XEmacs docs.David Aspinall
2002-09-11Don't insert blank line at top of response buffer.David Aspinall
2002-09-11Missing parenDavid Aspinall
2002-09-04Begin adding code for thms bufferDavid Aspinall
2002-08-30Tidy displayDavid Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-27DocstringDavid Aspinall
2002-08-27Disable undo history for efficiency; add clear response buffers function; cle...David Aspinall
2002-08-26Try to prevent associated buffers being killed off by user.David Aspinall
2002-08-15Refactoring.David Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16RefactoringDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 11:09:39 +0000