aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2003-05-23Improved version of shrink-to-fit (still problematic)David Aspinall
2003-05-23Updated.David Aspinall
2003-05-23Set version tag for new release.David Aspinall
2003-05-23Fix from Gerwin to repair groupingDavid 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-20Updated.David Aspinall
2003-05-20Cleanup from emptyDavid Aspinall
2003-05-20Fix tabs in developer listDavid Aspinall
2003-05-20Replace obsolete developer email addresses by alias at proofgeneral.org.David Aspinall
2003-05-20Updated.David Aspinall
2003-05-20Set version tag for new release.David Aspinall
2003-05-20Version from Gerwin with performance fixesDavid Aspinall
2003-05-20Version without match save, and disabling isar-match-antiq.David Aspinall
2003-05-20Buglet in proof-mark-buffer-atomicDavid Aspinall
2003-05-20Default to not using pad-eolDavid Aspinall
2003-05-20Updated.David Aspinall
2003-05-20Updated.David Aspinall
2003-04-25Disable fontification of antiquotation because of buggy interaction with ↵David Aspinall
font-lock/XEmacs.
2003-04-22Note about .elcsDavid Aspinall
2003-04-15Updated.David Aspinall
2003-04-15Set version tag for new release.David Aspinall
2003-04-15Remove isa-mode from automode alist, to allow SML mode in preferenceDavid Aspinall
2003-04-15Save match data in font-locking function for antiquotations (patch from CW).David Aspinall
2003-04-12Updated by Gerwin to remove some X-Symbol loadingDavid 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-04-05CommentsDavid Aspinall
2003-03-17Updated.David Aspinall
2003-03-17Make colour of active scripting indicator change as documentedDavid Aspinall
2003-03-17Updated.David Aspinall
2003-03-17TAGS in devel release onlyDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 14:52:29 +0000