index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-response.el
Commit message (
Expand
)
Author
Age
*
Fixed my last commit where compilation was broken. (function put at
Pierre Courtieu
2010-08-25
*
Fixed the bug of vertical window splitting when the size of the window
Pierre Courtieu
2010-08-25
*
pg-response-has-error-location: save point in response buffer
David Aspinall
2010-08-17
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Cleanups for save-excursion to avoid warnings in latest Emacs versions
David Aspinall
2010-07-08
*
Keep response and trace buffer read-only, except when changing
David Aspinall
2009-10-15
*
proof-display-three-b: avoid giving strange behaviour if some buffers are not...
David Aspinall
2009-09-26
*
Clean compile
David Aspinall
2009-09-10
*
pg-response-display-with-face: remove update of `proof-shell-last-output'
David Aspinall
2009-09-08
*
pg-response-maybe-erase: inhibit read only
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
Revive sendback behaviour (using button1)
David Aspinall
2009-05-26
*
pg-response-display: disable subterm markup removal
David Aspinall
2008-08-03
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Revert cursor hide in goals and response to avoid user confusion; use bar cur...
David Aspinall
2008-07-05
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Compilation tweaks
David Aspinall
2008-01-16
*
Revert 8.18: font-lock-append-text-property merges faces better.
David Aspinall
2008-01-16
*
pg-response-display: use add-text-properties instead of font-lock-append-text...
David Aspinall
2008-01-15
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...
David Aspinall
2007-12-14
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Use button2 instead of button1 for pg-goals-button-action
David Aspinall
2007-09-06
*
Only analyse structure for region of appended text
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Add C-g watcher for trace buffer
David Aspinall
2006-05-26
*
Improve handling of intermittent fontification for trace buffers.
David Aspinall
2004-06-24
*
Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...
David Aspinall
2004-06-16
*
condition-case -> unwind-protect
David Aspinall
2004-04-27
*
Add optional (prefix) arg to proof-layout-windows.
David Aspinall
2004-04-27
*
Obey proof-eagerly-raise in proof-layout-windows.
David Aspinall
2004-04-18
*
Try to stop proof-delete-other-frames from bringing up new
David Aspinall
2004-04-18
*
Comments.
David Aspinall
2004-04-18
*
Remove faulty compatiblity for XE 21.1
David Aspinall
2004-04-18
*
Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...
David Aspinall
2004-04-16
*
Add hint to C-c C-l; cleanup hints, add menu for C-c C-l
David Aspinall
2004-04-13
*
Overhaul and fixes for display management.
David Aspinall
2004-04-02
*
Add idle timer to cleanup tracing display.
David Aspinall
2003-06-19
*
Add code to recognize fast tracing output from prover, and play slow catchup.
David Aspinall
2003-06-05
*
Revert to displaying empty buffer for sake of pr in Isar
David Aspinall
2003-05-24
*
Do not display empty responses
David Aspinall
2003-05-24
*
Comment about desirability for lazy-shot in trace output
David Aspinall
2003-03-14
*
Fix some compile errors
David Aspinall
2003-02-24
*
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
David Aspinall
2003-02-19
*
Try to catch nesting too deep ugliness (esp in Isabelle tracing)
David Aspinall
2002-12-29
*
set-specifier -> remove-specifier as per XEmacs docs.
David Aspinall
2002-09-13
[next]