| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
| 2009-09-04 | Define a cleanup function to run intermittently or by hand, avoiding ↵ | David Aspinall | |
| pg-remove-specials. | |||
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall | |
| 2009-09-04 | Add proof-script-evaluate-elisp-comment-regexp security hole. | David Aspinall | |
| 2009-09-04 | Require on scomint in right place | David Aspinall | |
| 2009-09-04 | proof-file-to-buffer -> find-buffer-visiting | David Aspinall | |
| 2009-09-04 | proof-files-to-buffers, proof-locate-executable: simplify | David Aspinall | |
| proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation | |||
| 2009-09-04 | Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-end | David Aspinall | |
| 2009-09-04 | proof-looking-at-syntactic-context: moved to proof-utils because of macro use | David Aspinall | |
| 2009-09-04 | proof-files-to-buffers, proof-locate-executable: simplify | David Aspinall | |
| proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation | |||
| 2009-09-04 | Remove configuration of obsolete package function-menu (aka "fume") | David Aspinall | |
| 2009-09-04 | Remove configuration of obsolete package function-menu (aka "fume") | David Aspinall | |
| 2009-09-04 | Possible bug in interrupt signaling discovered | David Aspinall | |
| 2009-09-04 | capitalisation | David Aspinall | |
| 2009-09-04 | Further simplification | David Aspinall | |
| 2009-09-04 | Simplify splash using view-mode and newer Emacs variables. | David Aspinall | |
| Remove timeout from About usage to avoid confusion with disappearing window with mouse events. | |||
| 2009-09-04 | Refactoring point movement commands (in progress). Remove proof-no-command. | David Aspinall | |
| 2009-09-04 | Remove proof-no-command | David Aspinall | |
| 2009-09-04 | comment | David Aspinall | |
| 2009-09-04 | Use scomint instead of comint | David Aspinall | |
| 2009-09-03 | Shorten startup message | David Aspinall | |
| 2009-09-01 | Set version tag for new release. | David Aspinall | |
| 2009-09-01 | Remove some old X-Symbol references; update docs. | David Aspinall | |
| 2009-09-01 | Comment about GNU Emacs port | David Aspinall | |
| 2009-09-01 | Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where ↵ | Christophe Raffalli | |
| proof-mode-for-script seems undefined | |||
| 2009-08-31 | Unnecessary test | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |