aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* When calling proof-script-preprocess, fix starting position.Gravatar David Aspinall2009-09-15
* Fix highlighting of error regionGravatar David Aspinall2009-09-15
* Fix compile warningGravatar David Aspinall2009-09-15
* Prevent compile warningsGravatar David Aspinall2009-09-15
* Prevent compile warningGravatar David Aspinall2009-09-15
* Prevent many compile warningsGravatar David Aspinall2009-09-15
* Be strict about compile warningsGravatar David Aspinall2009-09-15
* Revert accidental commitGravatar David Aspinall2009-09-15
* Fix compile errorsGravatar David Aspinall2009-09-15
* Adjust commentGravatar David Aspinall2009-09-14
* Moved functionGravatar David Aspinall2009-09-14
* Fix compile issuesGravatar David Aspinall2009-09-14
* Surpress warnings for dynamic scopingGravatar David Aspinall2009-09-14
* Remove proof-strict-read-only-toggle call (no longer defined, andGravatar David Aspinall2009-09-14
* span-give-warning: remove, unused.Gravatar David Aspinall2009-09-14
* proof-span-give-warning: no message if inhibit-read-only is setGravatar David Aspinall2009-09-14
* Change mode namesGravatar David Aspinall2009-09-14
* Fix compilation.Gravatar David Aspinall2009-09-14
* Add outline-heading-alist setting. Fix compilation.Gravatar David Aspinall2009-09-14
* isar-outline-heading-alist: fix list formatGravatar David Aspinall2009-09-14
* isar-outline-heading-alist: fix list formatGravatar David Aspinall2009-09-14
* proof-imenu-enable: fix remove callGravatar David Aspinall2009-09-14
* UpdatedGravatar David Aspinall2009-09-14
* isar-outline-heading-alist: fix structureGravatar David Aspinall2009-09-14
* proof-strict-read-only: Experimental change to defaultGravatar David Aspinall2009-09-14
* DocGravatar David Aspinall2009-09-14
* Propertize Scripting modeline indicator. Support error spans.Gravatar David Aspinall2009-09-14
* Move insert-electric-terminator here. Add experimental error spans. Doc imp...Gravatar David Aspinall2009-09-14
* Engage which-function mode with imenu. Move insert-electric-terminator to pr...Gravatar David Aspinall2009-09-14
* Reorganisation Options with Minor Mode submenuGravatar David Aspinall2009-09-14
* Improve support for outline mode: additional headings and sublevel supportGravatar David Aspinall2009-09-14
* Rename mode namesGravatar David Aspinall2009-09-14
* Times -> Times New Roman, seems to have better substitution behaviourGravatar David Aspinall2009-09-13
* Update temp listGravatar David Aspinall2009-09-11
* Fix docsGravatar David Aspinall2009-09-11
* Make quiet by default. Improve docs.Gravatar David Aspinall2009-09-11
* Our own buffer for debug messagesGravatar David Aspinall2009-09-11
* Add Read-Only sub menuGravatar David Aspinall2009-09-11
* Elaborate on new settingsGravatar David Aspinall2009-09-11
* Bug in \\<diamond> tokenGravatar David Aspinall2009-09-11
* Default to disabling minibuffer messagesGravatar David Aspinall2009-09-10
* Disable debug message in IsarGravatar David Aspinall2009-09-10
* Disable process-adaptive-read-buffering: massive slow down for shortGravatar David Aspinall2009-09-10
* Move stripping and minibuffer-message function hereGravatar David Aspinall2009-09-10
* Typo in var name: fixes toggling of use-linear-undo.Gravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Move (require 'local-vars-list) to coq-local-varsGravatar David Aspinall2009-09-10
* Move (require 'local-vars-list) from coq.elGravatar David Aspinall2009-09-10
* Missing requiresGravatar David Aspinall2009-09-10
* Set right font-lock-keywordsGravatar David Aspinall2009-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 21:02:53 +0000