aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-05Updated news and creditsDavid Aspinall
2009-09-05UpdatedDavid Aspinall
2009-09-05CommentDavid Aspinall
2009-09-05Turn on proof-general-debug. Missing requireDavid Aspinall
2009-09-05proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...David Aspinall
2009-09-05proof-allow-undo-in-read-only: change default to nil for new implementationDavid Aspinall
2009-09-05Add protected undoDavid Aspinall
2009-09-05Default `proof-full-annotation' to off to cause least surprise to upgradersDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05replace-in-string-> replace-regexp-in-stringDavid Aspinall
2009-09-05Add bug refDavid Aspinall
2009-09-05Add custom groupDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Missing unused functionDavid Aspinall
2009-09-05Whitespace and requireDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-05resp-font-lock-keywords -> response-font-lock-keywords; output-fontify-enable...David Aspinall
2009-09-05CommentsDavid Aspinall
2009-09-05Add tidy target (cleans whitespace)David Aspinall
2009-09-05Whitespaces and commentsDavid Aspinall
2009-09-05Missing declarationDavid Aspinall
2009-09-05Make bug references clickableDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Simplify Info-directory handlingDavid Aspinall
2009-09-04Fix requireDavid Aspinall
2009-09-04*** empty log message ***David Aspinall
2009-09-04Alternative implementation of pg-remove-specials which does not introduce res...David Aspinall
2009-09-04Define a cleanup function to run intermittently or by hand, avoiding pg-remov...David Aspinall
2009-09-04Disable fontification of input and output. Fix C-c C-c bindingDavid Aspinall
2009-09-04Add option to do command wrappingDavid Aspinall
2009-09-04some resultsDavid Aspinall
2009-09-04some profiling recordsDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Disable buffer truncation for nowDavid Aspinall
2009-09-04VersionDavid Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
2009-09-04Add Elisp timingsDavid Aspinall
2009-09-04TimingDavid Aspinall
2009-09-04Profile more of the codeDavid Aspinall
2009-09-04UpdatedDavid Aspinall
2009-09-04fixed theory name;Makarius Wenzel
2009-09-04Add timing messagesDavid Aspinall
2009-09-04Require on scomint in right placeDavid Aspinall
2009-09-04proof-file-to-buffer -> find-buffer-visitingDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
2009-09-04Add text_rawDavid Aspinall
2009-09-04Define some keys.David Aspinall
2009-09-04Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endDavid Aspinall
2009-09-04proof-looking-at-syntactic-context: moved to proof-utils because of macro useDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 11:41:40 +0000