| Age | Commit message (Expand) | Author |
|---|
| 2009-07-30 | Tune walkthrough documentation | David Aspinall |
| 2009-07-30 | Sanitize some email addresses away | David Aspinall |
| 2009-05-26 | Add proof state hover messages to proof script, along with useful customization. | David Aspinall |
| 2009-05-26 | Updates for Isabelle2009, new electric terminator behaviour. | David Aspinall |
| 2008-12-05 | Some minimal updates for 4.0pre | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-07-12 | Updated. | David Aspinall |
| 2008-07-12 | Update for 3.7.1 | David Aspinall |
| 2008-07-12 | Update docstrings | David Aspinall |
| 2008-07-10 | Extend documentation for logic setting mechanism (needs magic update) | David Aspinall |
| 2008-07-10 | Add doc for `isabelle-chosen-logic\' | David Aspinall |
| 2008-01-31 | Credit Mitsuharu Yamamoto. | David Aspinall |
| 2008-01-30 | Update magic | David Aspinall |
| 2008-01-30 | Comment about maths menu | David Aspinall |
| 2008-01-30 | Update magic | David Aspinall |
| 2008-01-30 | Update credits and add section on Unicode support | David Aspinall |
| 2008-01-29 | Disable undo in read-only region; add proof-allow-undo-in-read-only setting | David Aspinall |
| 2008-01-24 | Quote braces properly | David Aspinall |
| 2008-01-24 | Add key binding for ML {* *} short cut. | David Aspinall |
| 2008-01-24 | Add keys for new theorems containing commands | David Aspinall |
| 2008-01-24 | Patch from Mark A. Hillebrand, trac #171 | David Aspinall |
| 2008-01-17 | Disable removal from input history | David Aspinall |
| 2008-01-17 | Update documentation. Credits, dates, input ring. | David Aspinall |
| 2008-01-16 | Updated. | David Aspinall |
| 2008-01-05 | Update | David Aspinall |
| 2007-12-14 | Update docstring magic | David Aspinall |
| 2007-12-14 | Rename: proof-show-debug-messages -> proof-general-debug. | David Aspinall |
| 2007-12-09 | Fix walkthrough to match Isabelle 2007 | David Aspinall |
| 2007-12-09 | Extra first section on installation | 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 |
| 2007-05-10 | Fix walk through example for Isabelle2007, including missing line | David Aspinall |
| 2007-03-03 | Tweaks to bugs section | David Aspinall |
| 2007-03-03 | Remove old Isabelle section and references to it; clean up and streamline Isa... | David Aspinall |
| 2006-09-24 | Add buffer history browsing | David Aspinall |
| 2006-05-26 | Stop texi2html complaining about unknown command @c===== | David Aspinall |
| 2006-04-26 | Modified documentation abou file variables to be compliant with new | Pierre Courtieu |
| 2005-09-22 | Addition from Tjark Weber for new commands | David Aspinall |
| 2005-05-31 | Document proof-shell-start, proof-shell-exit keys | David Aspinall |
| 2005-05-17 | Fix menu path to Customize | David Aspinall |
| 2005-02-17 | Updated the doc for new pg/coq. Made modifications advised by Stefan | Pierre Courtieu |
| 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 | Fixup whitespace. | David Aspinall |
| 2004-04-27 | Update magic | David Aspinall |
| 2004-04-24 | Update magic. | David Aspinall |
| 2004-04-17 | Escape { and } | David Aspinall |
| 2004-04-17 | Add missing menu entry. | David Aspinall |
| 2004-04-17 | Update magic | David Aspinall |
