| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-03-19 | Improved LEGO walk-through somewhat. Also documented C-c C-BS. | David Aspinall | |
| 2000-03-13 | Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 ↵ | David Aspinall | |
| release. | |||
| 2000-03-10 | Updated versions. | David Aspinall | |
| 2000-03-09 | Added proof-shell-process-connection-type | David Aspinall | |
| 2000-03-09 | Plans and ideas appendix no longer maintained, ref to web page | David Aspinall | |
| 2000-02-15 | Canonical URL. | David Aspinall | |
| 2000-02-09 | Doc for proof-shell-pre-interrupt-hook | David Aspinall | |
| 1999-12-16 | Typos. | David Aspinall | |
| 1999-12-14 | Minor fixes | David Aspinall | |
| 1999-12-14 | Typo. | David Aspinall | |
| 1999-12-14 | New chapter on Hints and Tips. Credit to Pierre. | David Aspinall | |
| 1999-12-14 | Pierre: Added little a chapter to the documentation: Using File | Pierre Courtieu | |
| Variable, just after Isabelle ProofGeneral. Surely not the good place, should be in some section called "tricks". | |||
| 1999-12-03 | Clarified further problem with Isabelle and ML files with embedded semis. | David Aspinall | |
| 1999-12-01 | Minor. | David Aspinall | |
| 1999-11-30 | Disabled use of macros for URLs, sigh. It breaks pdftexinfo. | David Aspinall | |
| 1999-11-30 | Added macros for some URLs. | David Aspinall | |
| 1999-11-29 | Fixed download URL to be homepage. | David Aspinall | |
| 1999-11-29 | Added John's name to the credits | David Aspinall | |
| 1999-11-29 | Added more notes about using ML files in Isabelle. | David Aspinall | |
| 1999-11-26 | Typo. | David Aspinall | |
| 1999-11-26 | Moved Coq's Abbrev section. Fixed some typos. | David Aspinall | |
| 1999-11-25 | Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken. | David Aspinall | |
| 1999-11-25 | Fixed credits list. | David Aspinall | |
| 1999-11-25 | Comment about fonts. Fix info dir formatting | David Aspinall | |
| 1999-11-25 | Added note about non-proof .ML files. | David Aspinall | |
| 1999-11-25 | More improvements. | David Aspinall | |
| 1999-11-24 | Polished draft. | David Aspinall | |
| 1999-11-24 | Many improvements. | David Aspinall | |
| 1999-11-23 | Updates | David Aspinall | |
| 1999-11-22 | Typo | David Aspinall | |
| 1999-11-22 | Renamed proof-auto-delete-windows -> proof-delete-empty-windows | David Aspinall | |
| 1999-11-22 | proof-shell-done-invisible -> proof-done-invisible again | David Aspinall | |
| 1999-11-22 | Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf) | David Aspinall | |
| 1999-11-22 | Updates for X-Symbol support. | David Aspinall | |
| 1999-11-22 | Fixes for conditional inclusion of front page image | David Aspinall | |
| 1999-11-19 | Fixed info probs. xrefs are a complete nonsense in info. | David Aspinall | |
| 1999-11-19 | Magic updated | David Aspinall | |
| 1999-11-19 | Many updates and improvements (not finished yet) | David Aspinall | |
| 1999-11-18 | Updates to Preface. | David Aspinall | |
| 1999-11-17 | Tweaked preface. | David Aspinall | |
| 1999-11-17 | Name change proof-window-dedicated -> proof-dont-switch-windows. | David Aspinall | |
| 1999-11-17 | Isabelle 99 -> Isabelle99 name change | David Aspinall | |
| 1999-11-17 | Updated | David Aspinall | |
| 1999-11-16 | Updated | David Aspinall | |
| 1999-11-15 | Updated | David Aspinall | |
| 1999-11-15 | Updated for new keybindings and menu layout. | David Aspinall | |
| 1999-11-14 | Many robustness improvements for error and interrupt handling: | David Aspinall | |
| - Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet) | |||
| 1999-11-14 | Fix to docstring magic (allow spaces after symbol). | David Aspinall | |
| 1999-11-14 | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | |
| Patch for more flexible handling of closing goal...save regions after proof has been completed. | |||
| 1999-11-13 | Updates and improvements | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |