| Age | Commit message (Expand) | Author |
|---|
| 2009-11-28 | Remove doc mention of obsolete function `pg-assoc-analyse-structure'. | David Aspinall |
| 2009-10-15 | proof-script-use-old-parser: remove configuration option and cleanup | David Aspinall |
| 2009-10-14 | Remove `next-entity' settings for func-menu. | David Aspinall |
| 2009-09-28 | Typo | David Aspinall |
| 2009-09-28 | Functions find-and-forget and count-undos now return lists of commands | David Aspinall |
| 2009-09-11 | Fix docs | David Aspinall |
| 2009-09-10 | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall |
| 2009-09-10 | Clean compile | David Aspinall |
| 2009-09-09 | Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions | David Aspinall |
| 2009-09-09 | p-s-classify-output -> p-s-handle-output, and simplify system-specific hook | David Aspinall |
| 2009-09-09 | proof-shell-quiet-errors: move to user opts custom group | David Aspinall |
| 2009-09-08 | proof-kill-goal-command: default to nil, not empty string | David Aspinall |
| 2009-09-08 | Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L... | David Aspinall |
| 2009-09-08 | Fix docstrings, remove spurious null | David Aspinall |
| 2009-09-06 | Change type of proof-shell-process-file, proof-shell-compute-new-files-list | 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 | Remove proof-shell-wakeup-char. | David Aspinall |
| 2009-09-05 | Comment | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 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 | Remove proof-no-command | David Aspinall |
| 2009-09-01 | Remove some old X-Symbol references; update docs. | David Aspinall |
| 2009-08-28 | Clean up and rearrange variable declaration files | David Aspinall |
| 2009-08-20 | proof-one-command-per-line: change default, use in proof-insert-pbp-command. | David Aspinall |
| 2009-08-20 | proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords | David Aspinall |
| 2009-08-19 | Docstrings | David Aspinall |
| 2009-08-17 | Tidy | David Aspinall |
| 2009-08-17 | Fix proof-next-error key binding | David Aspinall |
| 2009-08-14 | Rename proof-shell-process-output -> proof-shell-classify-output | David Aspinall |
| 2009-08-13 | proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache. | David Aspinall |
| 2009-08-07 | proof-full-annotation: change default | David Aspinall |
| 2009-08-07 | Name changes and tweaks: proof-full-decoration -> proof-full-decoration, | David Aspinall |
| 2009-08-06 | New configuration variable proof-use-pgip-askprefs. Use setting group names ... | David Aspinall |
| 2009-07-30 | Add proof-colour-locked option to leave locked region background uncoloured. | David Aspinall |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall |
| 2009-05-26 | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c... | David Aspinall |
| 2009-05-26 | Add proof-electric-terminator-noterminator behaviour for Isar | David Aspinall |
| 2008-08-03 | Make proof-locked-face much lighter | David Aspinall |
| 2008-08-03 | Change for locked face colour | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-21 | Default proof-allow-undo-in-read-only to t | David Aspinall |
| 2008-07-10 | Documentation. | David Aspinall |
| 2008-02-17 | unicode-tokens: Experimental multiple font support | David Aspinall |
| 2008-02-09 | Unicode tokens: support face changing via 'font-lock-face' | David Aspinall |
| 2008-01-31 | Add another window system: w32 for win 32. | David Aspinall |
| 2008-01-31 | More apparent decoration for active (sendback) areas | David Aspinall |
| 2008-01-30 | Fix RCS tags | David Aspinall |
| 2008-01-30 | Disable experimental features, finally. | David Aspinall |
