aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Comment the removal of the call to toggle-enable-multibyte-characters.Gravatar David Aspinall2007-12-13
* Complete maths menu additionGravatar David Aspinall2007-12-13
* Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.Gravatar David Aspinall2007-12-13
* Compatibility with coq trunk where some special symbols are removed.Gravatar Pierre Courtieu2007-12-12
* Additions for maths menuGravatar David Aspinall2007-12-12
* New files.Gravatar David Aspinall2007-12-12
* Add undo command to context menuGravatar David Aspinall2007-12-12
* Remove low color-depth images; use GNU Emacs-specific toolbar imagesGravatar David Aspinall2007-12-12
* Comments.Gravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsGravatar David Aspinall2007-12-10
* GNU Emacs compat: buffer-substringGravatar David Aspinall2007-12-10
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* GNU Emacs: delete-backward-char needs an argumentGravatar David Aspinall2007-12-10
* GNU Emacs: insert-string -> insertGravatar David Aspinall2007-12-10
* Fix compile errorsGravatar David Aspinall2007-12-10
* proof-x-symbol-initialize: fix default mode name constructionGravatar David Aspinall2007-12-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 11:25:31 +0000