aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add option menu item for dectivate scripting auto actionGravatar David Aspinall2003-05-21
* Note about auto deactivate scripting actionGravatar David Aspinall2003-05-21
* Updated.Gravatar David Aspinall2003-05-20
* Cleanup from emptyGravatar David Aspinall2003-05-20
* Fix tabs in developer listGravatar David Aspinall2003-05-20
* Replace obsolete developer email addresses by alias at proofgeneral.org.Gravatar David Aspinall2003-05-20
* Updated.Gravatar David Aspinall2003-05-20
* Set version tag for new release.Gravatar David Aspinall2003-05-20
* Version from Gerwin with performance fixesGravatar David Aspinall2003-05-20
* Version without match save, and disabling isar-match-antiq.Gravatar David Aspinall2003-05-20
* Buglet in proof-mark-buffer-atomicGravatar David Aspinall2003-05-20
* Default to not using pad-eolGravatar David Aspinall2003-05-20
* Updated.Gravatar David Aspinall2003-05-20
* Updated.Gravatar David Aspinall2003-05-20
* Disable fontification of antiquotation because of buggy interaction with font...Gravatar David Aspinall2003-04-25
* Note about .elcsGravatar David Aspinall2003-04-22
* Updated.Gravatar David Aspinall2003-04-15
* Set version tag for new release.Gravatar David Aspinall2003-04-15
* Remove isa-mode from automode alist, to allow SML mode in preferenceGravatar David Aspinall2003-04-15
* Save match data in font-locking function for antiquotations (patch from CW).Gravatar David Aspinall2003-04-15
* Updated by Gerwin to remove some X-Symbol loadingGravatar David Aspinall2003-04-12
* Comments.Gravatar David Aspinall2003-04-05
* Tweak to initialisation; fix prob with turning on during scripting.Gravatar David Aspinall2003-04-05
* Add proof-indent-pad-eol to add useless spacesGravatar David Aspinall2003-04-05
* Add proof-indent-pad-eol for prettifying colouring in XEmacsGravatar David Aspinall2003-04-05
* CommentsGravatar David Aspinall2003-04-05
* Updated.Gravatar David Aspinall2003-03-17
* Make colour of active scripting indicator change as documentedGravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-17
* TAGS in devel release onlyGravatar David Aspinall2003-03-17
* New files.Gravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-17
* Updated magicGravatar David Aspinall2003-03-17
* Bury splash buffer instead of merely switching away from it.Gravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-17
* Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...Gravatar David Aspinall2003-03-17
* Documentation.Gravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-17
* Set version tag for new release.Gravatar David Aspinall2003-03-17
* More tweaks so that (proof-ass x-symbol-enable) is pervasive.Gravatar David Aspinall2003-03-17
* Streamline startup.Gravatar David Aspinall2003-03-16
* Updated.Gravatar David Aspinall2003-03-16
* Improve removal of display of splash screen. Buffer still not killed (XEmacs...Gravatar David Aspinall2003-03-16
* Updated.Gravatar David Aspinall2003-03-14
* Set version tag for new release.Gravatar David Aspinall2003-03-14
* Updated version sent sent by CWGravatar David Aspinall2003-03-14
* Use X-Symbol supplied functions for encoding input and decoding output regionsGravatar David Aspinall2003-03-14
* Be more polite with handling of invisibility specGravatar David Aspinall2003-03-14
* Comment about desirability for lazy-shot in trace outputGravatar David Aspinall2003-03-14
* Only decode x-symbols if enabled globally for prover.Gravatar David Aspinall2003-03-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 11:41:35 +0000