aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-09-24Updated from Kit repoDavid Aspinall
2003-09-24Notice about using cvs.inf insteadDavid Aspinall
2003-09-22Updated.David Aspinall
2003-09-05Yet another fix from Sebastian Skalberg.Stefan Berghofer
2003-08-29Corrected fix from Sebastian Skalberg.Stefan Berghofer
2003-08-28Fix from Sebastian Skalberg <skalberg@in.tum.de>David Aspinall
2003-08-20Fix SML comment syntax oopsDavid Aspinall
2003-08-19Use newer undo function ProofGeneral.undo (no output undo).David Aspinall
2003-07-01Updated from Kit repoDavid Aspinall
2003-06-19Add idle timer to cleanup tracing display.David Aspinall
2003-06-16Give text default for hidden proof image.David Aspinall
2003-06-16Updated.David Aspinall
2003-06-13Check display is really available: XEmacs now defines device-pixel-depth even...David Aspinall
2003-06-09Fix typo.David Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...David Aspinall
2003-06-08Robustness in pg-identifier-under-mouse-query.David Aspinall
2003-06-08Updated.David Aspinall
2003-06-08Set proof-shell-identifier-under-mouse-cmdDavid Aspinall
2003-06-08Comments.David Aspinall
2003-06-08Attempt to prevent recording of buffer switching history (display-buffer cann...David Aspinall
2003-06-08GNU Emacs keybinding for pg-identifier-under-mouse-queryDavid Aspinall
2003-06-08Only give hint about C-c C-. if not already visibleDavid Aspinall
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-05Update magicDavid Aspinall
2003-06-05Typo; update magicDavid Aspinall
2003-06-05Make find-and-forget robust for proverproc regionsDavid Aspinall
2003-06-05Simplify mark-buffer-atomic to just make 'proverproc span.David Aspinall
2003-06-05Updated.David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-28Updated.David Aspinall
2003-05-28Add Gerwin and Stefan canonical emails to ChangeLog generationDavid Aspinall
2003-05-28proof-strict-read-only: only alter locked span if live (bug fix)David Aspinall
2003-05-24Updated.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-24Updated.David 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-23Add a location under HOME to search path for isatoolDavid Aspinall
2003-05-23Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 01:31:01 +0000