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