| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-26 | Added index.html link. | David Aspinall | |
| 1999-11-26 | Renamed file | David Aspinall | |
| 1999-11-26 | Renamed file | David Aspinall | |
| 1999-11-25 | Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken. | David Aspinall | |
| 1999-11-25 | Added note about page rearrangement for pdf files | 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 | Fixed conditional inclusion of image. Added pdf to distdoc. | David Aspinall | |
| 1999-11-22 | Updated | David Aspinall | |
| 1999-11-22 | File moved | 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 | Updated | David Aspinall | |
| 1999-11-19 | Many updates and improvements (not finished yet) | David Aspinall | |
| 1999-11-19 | Renamed file | David Aspinall | |
| 1999-11-19 | Additions for pdf version; needs hack to my pdftexinfo.tex to work | 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-17 | Fix FSF prob. | David Aspinall | |
| 1999-11-17 | Comment | 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 | |
| 1999-11-12 | Documentation improvements | David Aspinall | |
| 1999-11-11 | Improved documentation, more options added | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |