aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2000-12-20Fix magicDavid Aspinall
2000-12-20Document proof-shell-last-output and friendsDavid Aspinall
2000-12-013.2 -> 3.3preDavid Aspinall
2000-11-13*** empty log message ***Christophe Raffalli
2000-11-10*** empty log message ***Christophe Raffalli
2000-10-02Fix recursive makeDavid Aspinall
2000-10-02Updated magicDavid Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Attempt to force image buildDavid Aspinall
2000-10-02Subtitle capsDavid Aspinall
2000-09-29Typos in credits sectionDavid Aspinall
2000-09-29Added credits sectionDavid Aspinall
2000-09-28Date becomes OctDavid Aspinall
2000-09-28TweaksDavid Aspinall
2000-09-28Fix typo, add credit.David Aspinall
2000-09-28Add default targetDavid Aspinall
2000-09-28Added extra section on how to tweak script input to the shellDavid Aspinall
2000-09-27proper spelling: "Leonor Prensa Nieto";Makarius Wenzel
fixed @kindex for LEGO and Coq; Isabelle Proof General: cover Isabelle/Isar as well;
2000-09-27Added future section, fixed URLs. Updated to mention ↵David Aspinall
proof-script-sexp-commands.
2000-09-27Shortened BUGs appendix, other improvementsDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-23Update date.David Aspinall
2000-09-21Slightly shorter name for info dir entry.David Aspinall
2000-09-21Fix infodir entry, it got broken somehow.David Aspinall
2000-09-21Make PG-adapting first so index.html left pointing to main manualDavid Aspinall
2000-09-21Improved adding more lisp code chapter.David Aspinall
2000-09-14Encourage use of easy instantiation mechanism.David Aspinall
2000-09-14Moved proof-add-completions to adapting manualDavid Aspinall
2000-09-14Added doc of completions, several other script settings. Sections in script ↵David Aspinall
chapter.
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-12Add provide sym-lock to fix sym lock loading problemDavid Aspinall
2000-09-12More details about parsing functions. Improved introDavid Aspinall
2000-09-12Update date.David Aspinall
2000-09-08Customize always available if PG isDavid Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Fix description of manual now broken into twoDavid Aspinall
2000-08-28Updated magicDavid Aspinall
2000-08-28Fix recursive makeDavid Aspinall
2000-08-28Missing full stopDavid Aspinall
2000-08-28Split manual into two parts.David Aspinall
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.
2000-07-26updated;Makarius Wenzel
2000-07-26use proof-assistant-table instead of proof-assistants;Makarius Wenzel
2000-07-12Minor updatesDavid Aspinall
2000-06-19Updated list of helpers. TypoDavid Aspinall
2000-06-15Elaborated on where to find example fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 17:51:03 +0000