aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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 font...David Aspinall
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
2003-03-17New files.David Aspinall
2003-03-17Updated.David Aspinall
2003-03-17Updated magicDavid Aspinall
2003-03-17Bury splash buffer instead of merely switching away from it.David Aspinall
2003-03-17Updated.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-17Updated.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-14Updated.David Aspinall
2003-03-14Set version tag for new release.David Aspinall
2003-03-14Updated version sent sent by CWDavid 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-10Updated.David Aspinall
2003-03-10Add test case with symbol in subscriptDavid Aspinall
2003-03-10Update datesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 01:41:15 +0000