| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-09-07 | Require cl for compilation | David Aspinall | |
| 2009-09-07 | Missing require | David Aspinall | |
| 2009-09-07 | Fix typos | David Aspinall | |
| 2009-09-07 | Update for Unicode Tokens. | David Aspinall | |
| 2009-09-07 | Add documentation to explain usage. | David Aspinall | |
| Add setting function for dynamic updates. Add further symbols and explanation of two ways of working. | |||
| 2009-09-07 | Use extended form of define-minor-mode | David Aspinall | |
| 2009-09-07 | Add template auto-insert hook | David Aspinall | |
| 2009-09-07 | Calculate token match regexp in a more complex way in an attempt to | David Aspinall | |
| allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions. | |||
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-06 | Prevent compiler warnings | David Aspinall | |
| 2009-09-06 | Fix compile warnings, remove some XEmacs-isms | David Aspinall | |
| 2009-09-06 | Obsolete files | David Aspinall | |
| 2009-09-06 | proof-buffer-syntactic-context-emulate: use caching syntax-ppss | David Aspinall | |
| instead of parse-partial-sexp | |||
| 2009-09-06 | Typo | David Aspinall | |
| 2009-09-06 | Prevent compile warnings | David Aspinall | |
| 2009-09-06 | Avoid easy-menu-define macro | David Aspinall | |
| 2009-09-06 | Whitespace | David Aspinall | |
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-06 | Remove unused subterm markup code | David Aspinall | |
| 2009-09-06 | Configuration changes for shell mode revision. | David Aspinall | |
| 2009-09-06 | Move holes menu to holes mode | David Aspinall | |
| 2009-09-06 | Updated | David Aspinall | |
| 2009-09-06 | Make sure proof-shell-last-output is non-nil | David Aspinall | |
| 2009-09-06 | pg-add-element: unbound var in debug | David Aspinall | |
| proof-activate-scripting: minor cleanup proof-assert-until-point: don't go back beyond end of locked | |||
| 2009-09-06 | Make sure proof-shell-last-output, proof-shell-last-prompt and | David Aspinall | |
| proof-shell-delayed-ouput remain non-nil. | |||
| 2009-09-06 | Reorganisation to avoid generating many intermediate strings from | David 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-06 | Include macros for compile | David Aspinall | |
| 2009-09-06 | Compile with cl. Fix typo. | David Aspinall | |
| 2009-09-06 | proof-clean-buffer: inhibit read only | David Aspinall | |
| 2009-09-06 | Change type of proof-shell-process-file, proof-shell-compute-new-files-list | David Aspinall | |
| 2009-09-06 | Fix compile warnings | David Aspinall | |
| 2009-09-06 | Remove noweb file, seems buggy. | David Aspinall | |
| 2009-09-06 | Add after save hook and convenient key binding to compile on save | David Aspinall | |
| 2009-09-06 | Supress spurious warnings | David Aspinall | |
| 2009-09-06 | More defun->defsubst changes | David Aspinall | |
| 2009-09-06 | span-mapc-spans for span-delete-spans | David Aspinall | |
| 2009-09-06 | Rearrange for scoping | David Aspinall | |
| 2009-09-06 | Tweak point movement in `proof-assert-until-point' and | David 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-06 | Rearrange some of point movement code for following scripting. | David Aspinall | |
| 2009-09-06 | pg-xml-parse-buffer: generalise to take region arguments. | David Aspinall | |
| 2009-09-06 | Clarify that eager message matches are now anchored | David Aspinall | |
| 2009-09-06 | Remove use-specials-for-fontify | David Aspinall | |
| 2009-09-06 | pg-response-maybe-erase: inhibit read only | David Aspinall | |
| 2009-09-06 | Bufhist erase when buffer writable. | David Aspinall | |
| 2009-09-06 | Remove comment | David Aspinall | |
| 2009-09-06 | Doc fixes, and many defun -> defsubst to enhance compiled code. | David Aspinall | |
| 2009-09-06 | Remove proof-shell-wakeup-char. | David Aspinall | |
| Clarify purpose and meaning of `proof-shell-end-goals-regexp'. | |||
| 2009-09-06 | Remove proof-shell-wakeup-char, proof-shell-prompt-pattern. | David Aspinall | |
| Unset proof-shell-end-goals-regexp. | |||
| 2009-09-06 | Add menu moved from Coq menu. Make deactivating holes-mode forget all holes. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |