aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-response.el
AgeCommit message (Expand)Author
2008-01-15pg-response-display: use add-text-properties instead of font-lock-append-text...David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...David Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-09-06Use button2 instead of button1 for pg-goals-button-actionDavid Aspinall
2007-08-19Only analyse structure for region of appended textDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-05-26Add C-g watcher for trace bufferDavid Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-04-27condition-case -> unwind-protectDavid Aspinall
2004-04-27Add optional (prefix) arg to proof-layout-windows.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-16Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...David Aspinall
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2003-06-19Add idle timer to cleanup tracing display.David Aspinall
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-01 06:06:19 +0000