aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-response.el
Commit message (Expand)AuthorAge
* Tweak message and display model, in particular, make sure that when aGravatar David Aspinall2012-01-10
* Improve handling of trace buffer and tracing slow mode.Gravatar David Aspinall2011-01-31
* Move erase-buffer from associate buffer mode functions, allowing clone-buffer...Gravatar David Aspinall2010-08-26
* Fixed my last commit where compilation was broken. (function put atGravatar Pierre Courtieu2010-08-25
* Fixed the bug of vertical window splitting when the size of the windowGravatar Pierre Courtieu2010-08-25
* pg-response-has-error-location: save point in response bufferGravatar David Aspinall2010-08-17
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Keep response and trace buffer read-only, except when changingGravatar David Aspinall2009-10-15
* proof-display-three-b: avoid giving strange behaviour if some buffers are not...Gravatar David Aspinall2009-09-26
* Clean compileGravatar David Aspinall2009-09-10
* pg-response-display-with-face: remove update of `proof-shell-last-output'Gravatar David Aspinall2009-09-08
* pg-response-maybe-erase: inhibit read onlyGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Revive sendback behaviour (using button1)Gravatar David Aspinall2009-05-26
* pg-response-display: disable subterm markup removalGravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Revert cursor hide in goals and response to avoid user confusion; use bar cur...Gravatar David Aspinall2008-07-05
* 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 font-lock-append-text...Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...Gravatar David Aspinall2007-12-14
* 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 se...Gravatar David Aspinall2004-06-16
* 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
* 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 compat...Gravatar David Aspinall2004-04-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 10:57:05 +0000