aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
1999-11-08Added a section on debugging, mentioned proof-show-debug-messages.David Aspinall
1999-11-08Fixes to intro.David Aspinall
1999-11-08Updates for 3.0David Aspinall
1999-10-27updated;Makarius Wenzel
1999-10-26updated;Makarius Wenzel
1999-10-21Documentation about the improved multiple file handling functions.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-21Added proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21Revised bug section for Isabelle multiple file note.David Aspinall
1999-10-20Fixed crossrefs.David Aspinall
1999-10-19Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicDavid Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-12docstring magicDavid Aspinall
1999-10-07Temporary location of web pagesDavid Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-10-06UpdatesDavid Aspinall
1999-10-06UpdatesDavid Aspinall
1999-10-06Admin changes for version 2.2.David Aspinall
1999-10-06proof-try-command is deprecatedDavid Aspinall
1999-10-06Updates.David Aspinall
1999-10-01Fixup name changesDavid Aspinall
1999-10-01No attempt to update BUGS section of manualDavid Aspinall
1999-10-01Minor changes to introduction.David Aspinall
1999-09-30make magic;Makarius Wenzel
1999-09-29Added proof-script-command-separator. Removed duplicated proof-strict-read-o...David Aspinall
1999-09-28UpdatedDavid Aspinall
1999-09-23Added doc for proof-find-theoremsDavid Aspinall
1999-09-22updated (make magic);Makarius Wenzel
1999-09-22Earlier explanation of what a proof assistant is.David Aspinall
1999-09-13Updated magicDavid Aspinall
1999-09-13Emphasised that user can still use the shellDavid Aspinall
1999-09-13No longer cutting edge, really.David Aspinall
1999-09-13XEmacs 21 fixes for documentation of function menuDavid Aspinall
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-20Updated prover versionsDavid Aspinall
1999-08-20Date updated.David Aspinall
1999-08-19Adjustments to remove .eps picture from frontDavid Aspinall
1999-07-02Date change.David Aspinall
1999-06-28Problems with @image commented.David Aspinall
1999-06-24UpdatesDavid Aspinall
1999-06-18New front page image. Updated magic.David Aspinall
1999-06-14Added coq-begin-Section and coq-end-SectionPatrick Loiseleur
1999-05-17I've added the custom option 'prog-name-guess' in the generic part andPatrick Loiseleur
1999-03-08Idea for proof-auto-retract, notes about proof-strict-read-onlyDavid Aspinall
1999-02-24Improved documentation on tagsThomas Kleymann
1999-02-23extended section on Coq tagsThomas Kleymann
1999-02-22Coq section on tags improved to mention coqtags.David Aspinall
1999-02-22Coq proof mode renamed Coq Proof GeneralDavid Aspinall
1999-02-22Updated magic. Shorted section name.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 20:17:29 +0000