aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2003-06-08Add insert last output onto menuDavid Aspinall
2003-06-08Add simple but effective identifier-under-mouse-query command.David Aspinall
2003-06-05Add code to recognize fast tracing output from prover, and play slow catchup.David Aspinall
2003-06-05Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...David Aspinall
2003-06-05TypoDavid Aspinall
2003-06-05Simplify mark-buffer-atomic to just make 'proverproc span.David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-28proof-strict-read-only: only alter locked span if live (bug fix)David Aspinall
2003-05-24Set version tag for new release.David Aspinall
2003-05-24Rotate buffers display can display next bufferDavid Aspinall
2003-05-24Include next buffer in hint for rotate buffersDavid Aspinall
2003-05-24Revert to displaying empty buffer for sake of pr in IsarDavid Aspinall
2003-05-24Add hint triggered when processing completeDavid Aspinall
2003-05-24Switch order of buffers displayed by C-c C-l. Add hint.David Aspinall
2003-05-24Tweak to shrink-to-fitDavid Aspinall
2003-05-24Added hint mechanismDavid Aspinall
2003-05-24Do not display empty responsesDavid Aspinall
2003-05-24Add pg-show-hintsDavid Aspinall
2003-05-23Improved version of shrink-to-fit (still problematic)David Aspinall
2003-05-23Set version tag for new release.David Aspinall
2003-05-21CommentsDavid Aspinall
2003-05-21Add option menu item for dectivate scripting auto actionDavid Aspinall
2003-05-21Note about auto deactivate scripting actionDavid Aspinall
2003-05-20Set version tag for new release.David Aspinall
2003-05-20Buglet in proof-mark-buffer-atomicDavid Aspinall
2003-05-20Default to not using pad-eolDavid Aspinall
2003-04-15Set version tag for new release.David Aspinall
2003-04-05Comments.David Aspinall
2003-04-05Tweak to initialisation; fix prob with turning on during scripting.David Aspinall
2003-04-05Add proof-indent-pad-eol to add useless spacesDavid Aspinall
2003-04-05Add proof-indent-pad-eol for prettifying colouring in XEmacsDavid Aspinall
2003-03-17Make colour of active scripting indicator change as documentedDavid Aspinall
2003-03-17Bury splash buffer instead of merely switching away from it.David Aspinall
2003-03-17Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...David Aspinall
2003-03-17Documentation.David Aspinall
2003-03-17Set version tag for new release.David Aspinall
2003-03-17More tweaks so that (proof-ass x-symbol-enable) is pervasive.David Aspinall
2003-03-16Streamline startup.David Aspinall
2003-03-16Updated.David Aspinall
2003-03-16Improve removal of display of splash screen. Buffer still not killed (XEmacs...David Aspinall
2003-03-14Set version tag for new release.David Aspinall
2003-03-14Use X-Symbol supplied functions for encoding input and decoding output regionsDavid Aspinall
2003-03-14Be more polite with handling of invisibility specDavid Aspinall
2003-03-14Comment about desirability for lazy-shot in trace outputDavid Aspinall
2003-03-14Only decode x-symbols if enabled globally for prover.David Aspinall
2003-03-14Add requires to reduce compilation warnings.David Aspinall
2003-03-14Kludge for key-press during loading problem with splash screen.David Aspinall
2003-03-10Update datesDavid Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-07Use Info-default-directory-list for GNU Emacs stillDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:58:56 +0000