aboutsummaryrefslogtreecommitdiff
path: root/doc/PG-adapting.texi
AgeCommit message (Expand)Author
2000-09-28Date becomes OctDavid Aspinall
2000-09-28Added extra section on how to tweak script input to the shellDavid Aspinall
2000-09-27Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-21Slightly shorter name for info dir entry.David Aspinall
2000-09-21Improved adding more lisp code chapter.David Aspinall
2000-09-14Encourage use of easy instantiation mechanism.David Aspinall
2000-09-14Added doc of completions, several other script settings. Sections in script ...David Aspinall
2000-09-14Note about creating images for toolbar.David Aspinall
2000-09-13Removed keystroke index.David Aspinall
2000-09-13Remove keystroke index, add appendix with demoisa code (directly included)David Aspinall
2000-09-13Add sections to chapter 2, and text on adjusting toolbar. Update magicDavid Aspinall
2000-09-13Minor improvementsDavid Aspinall
2000-09-12Updated magic.David Aspinall
2000-09-12More details about parsing functions. Improved introDavid Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Updated magicDavid Aspinall
2000-08-28Split manual into two parts.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 18:40:08 +0000