| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-09-07 | Only show splash message if noninteractive | David Aspinall | |
| 2009-09-07 | Remove load order tweak experiment | David Aspinall | |
| 2009-09-07 | Nuke spurious warning | David Aspinall | |
| 2009-09-07 | Update autoloads | David Aspinall | |
| 2009-09-07 | Attempt to handle splash buffer cleanly. | David Aspinall | |
| 2009-09-07 | Requires processed more often (experiment) | David Aspinall | |
| 2009-09-07 | Fix compile warnings | David Aspinall | |
| 2009-09-07 | Whitespace | David Aspinall | |
| 2009-09-07 | (C) date | David Aspinall | |
| 2009-09-07 | mapcar -> dolist | David Aspinall | |
| 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-06 | Typo | David Aspinall | |
| 2009-09-06 | Avoid easy-menu-define macro | 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 | 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 | Docs | David Aspinall | |
| 2009-09-05 | Minor opt | David Aspinall | |
| 2009-09-05 | Update | David Aspinall | |
| 2009-09-05 | pg-protected-undo: Use key remapping instead of hacking function values | David Aspinall | |
| 2009-09-05 | Comment | David Aspinall | |
| 2009-09-05 | proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo ↵ | David Aspinall | |
| replaces) proof-done-advancing: remove spurious first case proof-assert-until-point: don't move point, restore intuitive behaviour when on whitespace between unprocessed commands (process preceding commands only) | |||
| 2009-09-05 | proof-allow-undo-in-read-only: change default to nil for new implementation | David Aspinall | |
| 2009-09-05 | Add protected undo | David Aspinall | |
| 2009-09-05 | Default `proof-full-annotation' to off to cause least surprise to upgraders | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2009-09-05 | Missing unused function | David Aspinall | |
| 2009-09-05 | Whitespaces and comments | David Aspinall | |
| 2009-09-04 | replace-in-string -> replace-regexp-in-string | David Aspinall | |
| 2009-09-04 | Simplify Info-directory handling | David Aspinall | |
| 2009-09-04 | Alternative implementation of pg-remove-specials which does not introduce ↵ | David Aspinall | |
| restriction. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |