aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-09-06proof-buffer-syntactic-context-emulate: use caching syntax-ppssDavid Aspinall
instead of parse-partial-sexp
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
proof-activate-scripting: minor cleanup proof-assert-until-point: don't go back beyond end of locked
2009-09-06Make sure proof-shell-last-output, proof-shell-last-prompt andDavid Aspinall
proof-shell-delayed-ouput remain non-nil.
2009-09-06Reorganisation to avoid generating many intermediate strings fromDavid Aspinall
the shell buffer, and match shell regexp directly inside it. This changes the types of several configuration settings. Also some improvements to scomint configuration and changes to proof-shell-exec-loop to send the next command to the prover before starting to process the output from the last. This reorganisation is still in testing and will take time to bed down.
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
alter meaning of `proof-only-whitespace-to-locked-region-p'; both now refer to char after point. Script elements are now stored in hash tables rather than lists.
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
Clarify purpose and meaning of `proof-shell-end-goals-regexp'.
2009-09-06Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.David Aspinall
Unset proof-shell-end-goals-regexp.
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
and a check for process liveness.
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-03-02 05:16:42 +0000