aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2008-01-24
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Disable removal from input historyGravatar David Aspinall2008-01-17
* Set version tag for new release.Gravatar David Aspinall2008-01-17
* Fix typo.Gravatar David Aspinall2008-01-17
* Also wait on pg-custom before running proof-set-value.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-17
* XEmacs comp error: obscure undefined define-key-after comes from proof-maths-...Gravatar David Aspinall2008-01-17
* Prevent proof-set-value from operating during compilation.Gravatar David Aspinall2008-01-17
* Fix requiresGravatar David Aspinall2008-01-17
* CommentGravatar David Aspinall2008-01-17
* Mention no experimental featuresGravatar David Aspinall2008-01-17
* Enable Lego again, its needed for documentation(\!)Gravatar David Aspinall2008-01-17
* Revert to more reliable true eval-when (compile)Gravatar David Aspinall2008-01-17
* Add pg-input-ring-size.Gravatar David Aspinall2008-01-17
* Remove dummy defvars, which cause errors if proof-menu is required during com...Gravatar David Aspinall2008-01-17
* Prevent font-lock complaining about not being setup.Gravatar David Aspinall2008-01-17
* Add input history ring. Cleanup comments.Gravatar David Aspinall2008-01-17
* Prevent loading early in interpreted code: simulate proper eval-when (compile)Gravatar David Aspinall2008-01-17
* Split define keys to match keymap filesGravatar David Aspinall2008-01-17
* Splash for a bit longer: people complain its too shortGravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Set version tag for new release.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* Cleanup compilation and documentation. Possible fix/break in pg-pbrpm-get-re...Gravatar David Aspinall2008-01-16
* Cleanup compileGravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Fix compilation: need proof-utilsGravatar David Aspinall2008-01-16
* Comments.Gravatar David Aspinall2008-01-16
* Revert 8.18: font-lock-append-text-property merges faces better.Gravatar David Aspinall2008-01-16
* Updated.Gravatar David Aspinall2008-01-16
* Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onGravatar David Aspinall2008-01-15
* proof-x-symbol-decode-region: add fontification to fix missing subscript/subs...Gravatar David Aspinall2008-01-15
* Comments.Gravatar David Aspinall2008-01-15
* Simplify font lock settings, removing proof-font-lock-case-fold-searchGravatar David Aspinall2008-01-15
* Comments.Gravatar David Aspinall2008-01-15
* pg-response-display: use add-text-properties instead of font-lock-append-text...Gravatar David Aspinall2008-01-15
* Before calling pg-response-display-with-face, strip eager annotation but not ...Gravatar David Aspinall2008-01-15
* Documentation.Gravatar David Aspinall2008-01-15
* Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is s...Gravatar David Aspinall2008-01-15
* Set version tag for new release.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* New files.Gravatar David Aspinall2008-01-15
* New files.Gravatar David Aspinall2008-01-15
* New files.Gravatar David Aspinall2008-01-14
* Deleted fileGravatar David Aspinall2008-01-05
* Updated.Gravatar David Aspinall2008-01-05
* Deleted fileGravatar David Aspinall2008-01-05
* Fixed something wrong. Probably a file missing (proof-system.el ?).Gravatar Pierre Courtieu2008-01-03
* Deleted fileGravatar David Aspinall2007-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 04:25:38 +0000