aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Update magicGravatar David Aspinall2003-06-05
* Typo; update magicGravatar David Aspinall2003-06-05
* Make find-and-forget robust for proverproc regionsGravatar David Aspinall2003-06-05
* Simplify mark-buffer-atomic to just make 'proverproc span.Gravatar David Aspinall2003-06-05
* Updated.Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* Updated.Gravatar David Aspinall2003-05-28
* Add Gerwin and Stefan canonical emails to ChangeLog generationGravatar David Aspinall2003-05-28
* proof-strict-read-only: only alter locked span if live (bug fix)Gravatar David Aspinall2003-05-28
* Updated.Gravatar David Aspinall2003-05-24
* 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
* Updated.Gravatar 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
* Add a location under HOME to search path for isatoolGravatar David Aspinall2003-05-23
* Updated.Gravatar David Aspinall2003-05-23
* Improved version of shrink-to-fit (still problematic)Gravatar David Aspinall2003-05-23
* Updated.Gravatar David Aspinall2003-05-23
* Set version tag for new release.Gravatar David Aspinall2003-05-23
* Fix from Gerwin to repair groupingGravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 04:52:57 +0000