aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/PG-adapting.texi
Commit message (Expand)AuthorAge
* 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 proof-script-sexp-comma...Gravatar David Aspinall2000-09-27
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 07:42:10 +0000