Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Update magic | David Aspinall | 2001-09-24 | |
| | ||||
* | Link uref nicely | David Aspinall | 2001-09-13 | |
| | ||||
* | Updates from an old printout of the manual | David Aspinall | 2001-09-13 | |
| | ||||
* | Update docs. | David Aspinall | 2001-09-09 | |
| | ||||
* | Update version numbers, time stamps. | David Aspinall | 2001-09-03 | |
| | ||||
* | Fix web page for kit | David Aspinall | 2001-08-28 | |
| | ||||
* | Update last updated, copyright | David Aspinall | 2001-08-01 | |
| | ||||
* | Change info dir entry to appear next to Proof General entry. | David Aspinall | 2001-05-08 | |
| | ||||
* | Try to disable image for now | David Aspinall | 2001-05-01 | |
| | ||||
* | Updated magic | David Aspinall | 2001-03-20 | |
| | ||||
* | Fix magic | David Aspinall | 2000-12-20 | |
| | ||||
* | Document proof-shell-last-output and friends | David Aspinall | 2000-12-20 | |
| | ||||
* | 3.2 -> 3.3pre | David Aspinall | 2000-12-01 | |
| | ||||
* | *** empty log message *** | Christophe Raffalli | 2000-11-13 | |
| | ||||
* | *** empty log message *** | Christophe Raffalli | 2000-11-10 | |
| | ||||
* | Updated magic | David Aspinall | 2000-10-02 | |
| | ||||
* | Subtitle caps | David Aspinall | 2000-10-02 | |
| | ||||
* | Typos in credits section | David Aspinall | 2000-09-29 | |
| | ||||
* | Added credits section | David Aspinall | 2000-09-29 | |
| | ||||
* | Date becomes Oct | David Aspinall | 2000-09-28 | |
| | ||||
* | Added extra section on how to tweak script input to the shell | David Aspinall | 2000-09-28 | |
| | ||||
* | Added future section, fixed URLs. Updated to mention ↵ | David Aspinall | 2000-09-27 | |
| | | | | proof-script-sexp-commands. | |||
* | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 | |
| | ||||
* | Slightly shorter name for info dir entry. | David Aspinall | 2000-09-21 | |
| | ||||
* | Improved adding more lisp code chapter. | David Aspinall | 2000-09-21 | |
| | ||||
* | Encourage use of easy instantiation mechanism. | David Aspinall | 2000-09-14 | |
| | ||||
* | Added doc of completions, several other script settings. Sections in script ↵ | David Aspinall | 2000-09-14 | |
| | | | | chapter. | |||
* | Note about creating images for toolbar. | David Aspinall | 2000-09-14 | |
| | ||||
* | Removed keystroke index. | David Aspinall | 2000-09-13 | |
| | ||||
* | Remove keystroke index, add appendix with demoisa code (directly included) | David Aspinall | 2000-09-13 | |
| | ||||
* | Add sections to chapter 2, and text on adjusting toolbar. Update magic | David Aspinall | 2000-09-13 | |
| | ||||
* | Minor improvements | David Aspinall | 2000-09-13 | |
| | ||||
* | Updated magic. | David Aspinall | 2000-09-12 | |
| | ||||
* | More details about parsing functions. Improved intro | David Aspinall | 2000-09-12 | |
| | ||||
* | Added proof-shell-auto-terminate-commands | David Aspinall | 2000-08-29 | |
| | ||||
* | Updated magic | David Aspinall | 2000-08-28 | |
| | ||||
* | Split manual into two parts. | David Aspinall | 2000-08-28 | |
Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible. |