aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* UpdateGravatar David Aspinall2009-09-05
* More sensible message for file dialogGravatar David Aspinall2009-09-05
* AutoloadGravatar David Aspinall2009-09-05
* Add characterp for Emacs 22Gravatar David Aspinall2009-09-05
* Updated from Isabelle2009Gravatar David Aspinall2009-09-05
* Clean compile, remove useless autoload settings.Gravatar David Aspinall2009-09-05
* Missing requireGravatar David Aspinall2009-09-05
* Deleted fileGravatar David Aspinall2009-09-05
* pg-protected-undo: Use key remapping instead of hacking function valuesGravatar David Aspinall2009-09-05
* Add shortcuts for (| and |).Gravatar David Aspinall2009-09-05
* Updated news and creditsGravatar David Aspinall2009-09-05
* UpdatedGravatar David Aspinall2009-09-05
* CommentGravatar David Aspinall2009-09-05
* Turn on proof-general-debug. Missing requireGravatar David Aspinall2009-09-05
* proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...Gravatar David Aspinall2009-09-05
* proof-allow-undo-in-read-only: change default to nil for new implementationGravatar David Aspinall2009-09-05
* Add protected undoGravatar David Aspinall2009-09-05
* Default `proof-full-annotation' to off to cause least surprise to upgradersGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string-> replace-regexp-in-stringGravatar David Aspinall2009-09-05
* Add bug refGravatar David Aspinall2009-09-05
* Add custom groupGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Missing unused functionGravatar David Aspinall2009-09-05
* Whitespace and requireGravatar David Aspinall2009-09-05
* Tidy whitespaceGravatar David Aspinall2009-09-05
* resp-font-lock-keywords -> response-font-lock-keywords; output-fontify-enable...Gravatar David Aspinall2009-09-05
* CommentsGravatar David Aspinall2009-09-05
* Add tidy target (cleans whitespace)Gravatar David Aspinall2009-09-05
* Whitespaces and commentsGravatar David Aspinall2009-09-05
* Missing declarationGravatar David Aspinall2009-09-05
* Make bug references clickableGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Simplify Info-directory handlingGravatar David Aspinall2009-09-04
* Fix requireGravatar David Aspinall2009-09-04
* *** empty log message ***Gravatar David Aspinall2009-09-04
* Alternative implementation of pg-remove-specials which does not introduce res...Gravatar David Aspinall2009-09-04
* Define a cleanup function to run intermittently or by hand, avoiding pg-remov...Gravatar David Aspinall2009-09-04
* Disable fontification of input and output. Fix C-c C-c bindingGravatar David Aspinall2009-09-04
* Add option to do command wrappingGravatar David Aspinall2009-09-04
* some resultsGravatar David Aspinall2009-09-04
* some profiling recordsGravatar David Aspinall2009-09-04
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Disable buffer truncation for nowGravatar David Aspinall2009-09-04
* VersionGravatar David Aspinall2009-09-04
* Add proof-script-evaluate-elisp-comment-regexp security hole.Gravatar David Aspinall2009-09-04
* Add Elisp timingsGravatar David Aspinall2009-09-04
* TimingGravatar David Aspinall2009-09-04
* Profile more of the codeGravatar David Aspinall2009-09-04
* UpdatedGravatar David Aspinall2009-09-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 12:02:34 +0000