aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/PG-adapting.texi
Commit message (Collapse)AuthorAge
* Fix web page for kitGravatar David Aspinall2001-08-28
|
* Update last updated, copyrightGravatar David Aspinall2001-08-01
|
* Change info dir entry to appear next to Proof General entry.Gravatar David Aspinall2001-05-08
|
* Try to disable image for nowGravatar David Aspinall2001-05-01
|
* Updated magicGravatar David Aspinall2001-03-20
|
* Fix magicGravatar David Aspinall2000-12-20
|
* Document proof-shell-last-output and friendsGravatar David Aspinall2000-12-20
|
* 3.2 -> 3.3preGravatar David Aspinall2000-12-01
|
* *** empty log message ***Gravatar Christophe Raffalli2000-11-13
|
* *** empty log message ***Gravatar Christophe Raffalli2000-11-10
|
* Updated magicGravatar David Aspinall2000-10-02
|
* Subtitle capsGravatar David Aspinall2000-10-02
|
* Typos in credits sectionGravatar David Aspinall2000-09-29
|
* Added credits sectionGravatar David Aspinall2000-09-29
|
* Date becomes OctGravatar David Aspinall2000-09-28
|
* Added extra section on how to tweak script input to the shellGravatar David Aspinall2000-09-28
|
* Added future section, fixed URLs. Updated to mention ↵Gravatar David Aspinall2000-09-27
| | | | proof-script-sexp-commands.
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
|
* Slightly shorter name for info dir entry.Gravatar David Aspinall2000-09-21
|
* Improved adding more lisp code chapter.Gravatar David Aspinall2000-09-21
|
* Encourage use of easy instantiation mechanism.Gravatar David Aspinall2000-09-14
|
* Added doc of completions, several other script settings. Sections in script ↵Gravatar David Aspinall2000-09-14
| | | | chapter.
* Note about creating images for toolbar.Gravatar David Aspinall2000-09-14
|
* Removed keystroke index.Gravatar David Aspinall2000-09-13
|
* Remove keystroke index, add appendix with demoisa code (directly included)Gravatar David Aspinall2000-09-13
|
* Add sections to chapter 2, and text on adjusting toolbar. Update magicGravatar David Aspinall2000-09-13
|
* Minor improvementsGravatar David Aspinall2000-09-13
|
* Updated magic.Gravatar David Aspinall2000-09-12
|
* More details about parsing functions. Improved introGravatar David Aspinall2000-09-12
|
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
|
* Updated magicGravatar David Aspinall2000-08-28
|
* Split manual into two parts.Gravatar David Aspinall2000-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.