aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* More doc tidyGravatar David Aspinall2007-12-14
* Remove ancient idea for proof-atomic-sequence-listsGravatar David Aspinall2007-12-14
* Cleanups with M-x checkdoc.Gravatar David Aspinall2007-12-14
* Set version tag for new release.Gravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* Add compilation dependencyGravatar David Aspinall2007-12-14
* Move x-symbol-language hereGravatar David Aspinall2007-12-14
* Cleanup coding system setting, commentsGravatar David Aspinall2007-12-14
* Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...Gravatar David Aspinall2007-12-14
* proof-associated-windows: rewrite naively to remove proof-list-filterGravatar David Aspinall2007-12-14
* Move proof-face-specs here, remove proof-list-filterGravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug.Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debugGravatar David Aspinall2007-12-14
* Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...Gravatar David Aspinall2007-12-14
* Add proof-shell-set-text-representation to disable multibyte characters in le...Gravatar David Aspinall2007-12-14
* Munging with input/output encoding; try to make consistent.Gravatar David Aspinall2007-12-14
* Remove response history (delay for 3.7.1). Promote speedbarGravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* Tune some comments. Remove annotations in processed text fromGravatar David Aspinall2007-12-14
* Prevent attempt to use on XEmacsGravatar David Aspinall2007-12-14
* Add dynamic enable/disable function for proof-keep-response-historyGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Remvoe typoGravatar David Aspinall2007-12-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 07:50:55 +0000