aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Simplify mark-buffer-atomic to just make 'proverproc span.Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* proof-strict-read-only: only alter locked span if live (bug fix)Gravatar David Aspinall2003-05-28
* Set version tag for new release.Gravatar David Aspinall2003-05-24
* Rotate buffers display can display next bufferGravatar David Aspinall2003-05-24
* Include next buffer in hint for rotate buffersGravatar David Aspinall2003-05-24
* Revert to displaying empty buffer for sake of pr in IsarGravatar David Aspinall2003-05-24
* Add hint triggered when processing completeGravatar David Aspinall2003-05-24
* Switch order of buffers displayed by C-c C-l. Add hint.Gravatar David Aspinall2003-05-24
* Tweak to shrink-to-fitGravatar David Aspinall2003-05-24
* Added hint mechanismGravatar David Aspinall2003-05-24
* Do not display empty responsesGravatar David Aspinall2003-05-24
* Add pg-show-hintsGravatar David Aspinall2003-05-24
* Improved version of shrink-to-fit (still problematic)Gravatar David Aspinall2003-05-23
* Set version tag for new release.Gravatar David Aspinall2003-05-23
* CommentsGravatar David Aspinall2003-05-21
* Add option menu item for dectivate scripting auto actionGravatar David Aspinall2003-05-21
* Note about auto deactivate scripting actionGravatar David Aspinall2003-05-21
* Set version tag for new release.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
* Set version tag for new release.Gravatar David Aspinall2003-04-15
* 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
* Make colour of active scripting indicator change as documentedGravatar David Aspinall2003-03-17
* Bury splash buffer instead of merely switching away from it.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
* 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
* Set version tag for new release.Gravatar 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
* Add requires to reduce compilation warnings.Gravatar David Aspinall2003-03-14
* Kludge for key-press during loading problem with splash screen.Gravatar David Aspinall2003-03-14
* Update datesGravatar David Aspinall2003-03-10
* Set version tag for new release.Gravatar David Aspinall2003-03-07
* Use Info-default-directory-list for GNU Emacs stillGravatar David Aspinall2003-03-07
* Fix Non-X frame error on Emacs 21Gravatar David Aspinall2003-03-06
* List of stuff to do hereGravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-05
* Make sure selected window never changesGravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-05 07:03:50 +0000