aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
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-13Fixed rearrange target.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-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-20Remove temporary fileDavid Aspinall
1999-08-20Updated prover versionsDavid Aspinall
1999-08-20Date updated.David Aspinall
1999-08-19Adjustments to remove .eps picture from frontDavid Aspinall
1999-08-19Instructions for docsDavid Aspinall
1999-07-24please ignore (back to 2.15);Makarius Wenzel
1999-07-24*** empty log message ***Makarius Wenzel
1999-07-03Load plastic and isar as a sanity check, prelude to documenting in texiDavid Aspinall
1999-07-02Date change.David Aspinall
1999-07-01Put info files back in dist.David Aspinall
1999-06-30updatedDavid Aspinall
1999-06-28Updated.David Aspinall
1999-06-28Added .ps.gz target and dist target.David Aspinall
1999-06-28Problems with @image commented.David Aspinall
1999-06-28Removed accidental deletion of ps file.David Aspinall
1999-06-28UpdatedDavid Aspinall
1999-06-24Replaces .eps fileDavid Aspinall
1999-06-24UpdatesDavid Aspinall
1999-06-24Deleted files.David 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
the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick
1999-03-08Fixed.David Aspinall
1999-03-08Idea for proof-auto-retract, notes about proof-strict-read-onlyDavid Aspinall
1999-02-24Improved documentation on tagsThomas Kleymann
o added a suggestion by hht o documentation now at generic level only
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-22Fixed for dvips which sends to printer by default.David Aspinall
1999-02-22Updated magic. Shorted section name.David Aspinall
1999-02-22Added revised version of text from Healf for Coq. Updated version ↵David Aspinall
numbers/authors.
1999-02-01Added proof-case-fold-searchDavid Aspinall
1999-01-12Mention of continued-input prompt as API guidline.David 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-17Split chapters of html for easier browsing.David Aspinall
1998-12-17Fixed spelling error.David Aspinall
1998-12-16Fixup for filenameDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 13:47:55 +0000