aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
2009-09-06TypoDavid Aspinall
2009-09-06Prevent compile warningsDavid Aspinall
2009-09-06Avoid easy-menu-define macroDavid Aspinall
2009-09-06WhitespaceDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Remove unused subterm markup codeDavid Aspinall
2009-09-06Configuration changes for shell mode revision.David Aspinall
2009-09-06Move holes menu to holes modeDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Make sure proof-shell-last-output is non-nilDavid Aspinall
2009-09-06pg-add-element: unbound var in debugDavid Aspinall
2009-09-06Make sure proof-shell-last-output, proof-shell-last-prompt andDavid Aspinall
2009-09-06Reorganisation to avoid generating many intermediate strings fromDavid Aspinall
2009-09-06Include macros for compileDavid Aspinall
2009-09-06Compile with cl. Fix typo.David Aspinall
2009-09-06proof-clean-buffer: inhibit read onlyDavid Aspinall
2009-09-06Change type of proof-shell-process-file, proof-shell-compute-new-files-listDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-06Remove noweb file, seems buggy.David Aspinall
2009-09-06Add after save hook and convenient key binding to compile on saveDavid Aspinall
2009-09-06Supress spurious warningsDavid Aspinall
2009-09-06More defun->defsubst changesDavid Aspinall
2009-09-06span-mapc-spans for span-delete-spansDavid Aspinall
2009-09-06Rearrange for scopingDavid Aspinall
2009-09-06Tweak point movement in `proof-assert-until-point' andDavid Aspinall
2009-09-06Rearrange some of point movement code for following scripting.David Aspinall
2009-09-06pg-xml-parse-buffer: generalise to take region arguments.David Aspinall
2009-09-06Clarify that eager message matches are now anchoredDavid Aspinall
2009-09-06Remove use-specials-for-fontifyDavid Aspinall
2009-09-06pg-response-maybe-erase: inhibit read onlyDavid Aspinall
2009-09-06Bufhist erase when buffer writable.David Aspinall
2009-09-06Remove commentDavid Aspinall
2009-09-06Doc fixes, and many defun -> defsubst to enhance compiled code.David Aspinall
2009-09-06Remove proof-shell-wakeup-char.David Aspinall
2009-09-06Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.David Aspinall
2009-09-06Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.David Aspinall
2009-09-06Simplify by removing ability to deal with restrictionsDavid Aspinall
2009-09-06Make holes-abbrev-complete obey status of minor mode.David Aspinall
2009-09-06Moved doc of holes to holes-modeDavid Aspinall
2009-09-06Cleanup code and use define-minor-mode.David Aspinall
2009-09-06set-span-keymap: only override local map, not replace it.David Aspinall
2009-09-06Fix parenoDavid Aspinall
2009-09-06Update.David Aspinall
2009-09-06Update: mention scomint, remove old variables/functionsDavid Aspinall
2009-09-06Remove proof-shell-wakeup-charDavid Aspinall
2009-09-06DocsDavid Aspinall
2009-09-06CleanupsDavid Aspinall
2009-09-06More instrumentationDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:23:25 +0000