aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
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
1999-02-22Added revised version of text from Healf for Coq. Updated version numbers/au...David Aspinall
1999-02-01Added proof-case-fold-searchDavid Aspinall
1998-12-18Elaborated on scripting language limitations Isabelle "bug"David Aspinall
1998-12-17Updated magic. (Extra newlines added).David Aspinall
1998-12-17Added Latest news section to preface to point to home page.David Aspinall
1998-12-17Fixed spelling error.David Aspinall
1998-12-16Fixed info dir again. Removed detailed menu.David Aspinall
1998-12-16Updated magic.David Aspinall
1998-12-16Added a menu.David Aspinall
1998-12-16Added space after colon in info dir entry.David Aspinall
1998-12-16Fixed INFO-DIR-ENTRY (newline was lost)David Aspinall
1998-12-16Updated magic once moreDavid Aspinall
1998-12-16further documentation of LEGO specific bugThomas Kleymann
1998-12-16minor changes in the HistoryThomas Kleymann
1998-12-16. clarified history of multiple filesThomas Kleymann
1998-12-15Changed title of Chap 10.David Aspinall
1998-12-15Preface: Added David von Oheimb to credits. Mentioned adding multiple files.David Aspinall
1998-12-15Updated magic.David Aspinall
1998-12-15Made preface unnumbered. Cosmetic improvements. Updated magic.David Aspinall
1998-12-15credits now at the beginningThomas Kleymann
1998-12-15*** empty log message ***Thomas Kleymann
1998-12-15Fixed several typos.David Aspinall
1998-12-15Updated magic. Small changes in Chap 11.David Aspinall
1998-12-15radical new version of Credits and References sectionThomas Kleymann
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-11. Removed "multiple prover problem" from bugs section, since it's nowDavid Aspinall
1998-12-10Changed name of proof-toolbar-inhibit variable for uniformity.David Aspinall
1998-12-07Added proof-shell-preprocess-command for Paul Callaghan.David Aspinall
1998-11-26Added proof-shell-clear-goals-regexp.David Aspinall
1998-11-26Improvements from Markus Wenzel. Re-made after texi-docstring-magicDavid Aspinall
1998-11-25Updated magic.David Aspinall
1998-11-25More polish.David Aspinall
1998-11-25Fixed up uses of @ref, @xref, @pxref.David Aspinall
1998-11-25Be gentler in walkthrough.David Aspinall
1998-11-25Cleaned up some text.David Aspinall
1998-11-25Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiDavid Aspinall
1998-10-29Reverted to old file, v 2.9David Aspinall
1998-10-29Begun section on adding new assistantDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-22minor changeThomas Kleymann
1998-10-21Isabelle version addedDavid Aspinall
1998-10-18added specification for a more generic mechanism for large undosThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 06:59:04 +0000