| Age | Commit message (Expand) | Author |
|---|
| 2009-12-01 | Update magic | David Aspinall |
| 2009-11-29 | Updates to internal function docs | David Aspinall |
| 2009-10-14 | Remove function-menu as promised | David Aspinall |
| 2009-09-30 | Update magic | David Aspinall |
| 2009-09-15 | Update docs | David Aspinall |
| 2009-09-15 | Remove errant ^A | David Aspinall |
| 2009-09-08 | More text about Unicode Tokens | David Aspinall |
| 2009-09-06 | Update: mention scomint, remove old variables/functions | David Aspinall |
| 2009-09-04 | Remove proof-shell-prompt-pattern, no longer used. | David Aspinall |
| 2009-08-31 | Update versions | David Aspinall |
| 2009-08-28 | Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref) | David Aspinall |
| 2009-08-25 | Add recommendation for DejaVu fonts. Update magic. | David Aspinall |
| 2009-08-17 | proof-looking-at-syntactic-context: add doc. Update doc/names of proof shell... | David Aspinall |
| 2009-08-07 | Document document centric mechanism. Other updates and additions. Remove ex... | David Aspinall |
| 2009-05-26 | Updates for Isabelle2009, new electric terminator behaviour. | David Aspinall |
| 2008-12-05 | Tweak | David Aspinall |
| 2008-12-05 | Some minimal updates for 4.0pre | David Aspinall |
| 2008-12-05 | Fix extra @end defvar | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-12 | Update docstrings | David Aspinall |
| 2008-01-30 | Update magic | David Aspinall |
| 2008-01-17 | Fix included file | David Aspinall |
| 2008-01-17 | Update dates | David Aspinall |
| 2008-01-14 | Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- s... | David Aspinall |
| 2007-12-14 | Update docstring magic | David Aspinall |
| 2007-12-14 | Rename: proof-show-debug-messages -> proof-general-debug. | David Aspinall |
| 2007-08-19 | pg-topterm-char -> pg-topterm-regexp | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-06-19 | Fix broken texi magic strings. | David Aspinall |
| 2007-06-19 | Account for new default behaviour of texi2html, using subdir for manuals | David Aspinall |
| 2005-05-17 | Fix menu path to Customize | David Aspinall |
| 2004-08-25 | Update for 3.6 | David Aspinall |
| 2004-06-04 | Update magic, dates | David Aspinall |
| 2004-05-09 | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall |
| 2004-05-06 | Whitespace. | David Aspinall |
| 2004-05-06 | Run magic, clean up duplicated entries and whitespace. | David Aspinall |
| 2004-04-24 | Spacing | David Aspinall |
| 2004-04-24 | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall |
| 2004-04-17 | Updated magic | David Aspinall |
| 2004-04-17 | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall |
| 2004-04-16 | Explain how to configure Imenu. | David Aspinall |
| 2004-04-03 | Update version to 3.5 | David Aspinall |
| 2004-04-02 | Update magic | David Aspinall |
| 2004-03-23 | Update date | David Aspinall |
| 2004-03-23 | Intro to 3.5 version, Emacs version update | David Aspinall |
| 2004-03-23 | Update last updated stamp | David Aspinall |
| 2004-02-08 | Update some urls | David Aspinall |
| 2004-02-08 | Update magic | David Aspinall |
| 2003-12-11 | Fix domain name | David Aspinall |
| 2003-06-05 | Update magic | David Aspinall |
