aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-response.el
Commit message (Collapse)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
* Revert cursor hide in goals and response to avoid user confusion; use bar ↵Gravatar David Aspinall2008-07-05
| | | | cursor.
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Compilation tweaksGravatar David Aspinall2008-01-16
|
* Revert 8.18: font-lock-append-text-property merges faces better.Gravatar David Aspinall2008-01-16
|
* pg-response-display: use add-text-properties instead of ↵Gravatar David Aspinall2008-01-15
| | | | font-lock-append-text-property [no behaviour change]
* Many rearrangements for compatibility, efficient/correct compilation, ↵Gravatar David Aspinall2008-01-15
| | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
* Use proof-shell-unicode to control whether bytes 128-255 are stripped from ↵Gravatar David Aspinall2007-12-14
| | | | output.
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
|
* Use button2 instead of button1 for pg-goals-button-actionGravatar David Aspinall2007-09-06
|
* Only analyse structure for region of appended textGravatar David Aspinall2007-08-19
|
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
|
* Tweaks to buffer history mode. Still intermediate version.Gravatar David Aspinall2006-09-24
|
* Add buffer history browsingGravatar David Aspinall2006-09-24
|
* Add C-g watcher for trace bufferGravatar David Aspinall2006-05-26
|
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
|
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵Gravatar David Aspinall2004-06-16
| | | | setting.
* condition-case -> unwind-protectGravatar David Aspinall2004-04-27
|
* Add optional (prefix) arg to proof-layout-windows.Gravatar David Aspinall2004-04-27
|
* Obey proof-eagerly-raise in proof-layout-windows.Gravatar David Aspinall2004-04-18
|
* Try to stop proof-delete-other-frames from bringing up newGravatar David Aspinall2004-04-18
| | | | frames only to delete them.
* Comments.Gravatar David Aspinall2004-04-18
|
* Remove faulty compatiblity for XE 21.1Gravatar David Aspinall2004-04-18
|
* Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵Gravatar David Aspinall2004-04-16
| | | | compatibility.
* Add hint to C-c C-l; cleanup hints, add menu for C-c C-lGravatar David Aspinall2004-04-13
|
* Overhaul and fixes for display management.Gravatar David Aspinall2004-04-02
|
* 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; ↵Gravatar David Aspinall2002-08-27
| | | | clear modified flag.
* 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 ↵Gravatar David Aspinall2002-07-16
| | | | display.
* RefactoringGravatar David Aspinall2002-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 00:54:18 +0000