aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Replaces .eps fileGravatar David Aspinall1999-06-24
* UpdatesGravatar David Aspinall1999-06-24
* Deleted files.Gravatar David Aspinall1999-06-24
* New front page image. Updated magic.Gravatar David Aspinall1999-06-18
* Added coq-begin-Section and coq-end-SectionGravatar Patrick Loiseleur1999-06-14
* I've added the custom option 'prog-name-guess' in the generic part andGravatar Patrick Loiseleur1999-05-17
* Fixed.Gravatar David Aspinall1999-03-08
* Idea for proof-auto-retract, notes about proof-strict-read-onlyGravatar David Aspinall1999-03-08
* Improved documentation on tagsGravatar Thomas Kleymann1999-02-24
* extended section on Coq tagsGravatar Thomas Kleymann1999-02-23
* Coq section on tags improved to mention coqtags.Gravatar David Aspinall1999-02-22
* Coq proof mode renamed Coq Proof GeneralGravatar David Aspinall1999-02-22
* Fixed for dvips which sends to printer by default.Gravatar David Aspinall1999-02-22
* Updated magic. Shorted section name.Gravatar David Aspinall1999-02-22
* Added revised version of text from Healf for Coq. Updated version numbers/au...Gravatar David Aspinall1999-02-22
* Added proof-case-fold-searchGravatar David Aspinall1999-02-01
* Mention of continued-input prompt as API guidline.Gravatar David Aspinall1999-01-12
* Elaborated on scripting language limitations Isabelle "bug"Gravatar David Aspinall1998-12-18
* Updated magic. (Extra newlines added).Gravatar David Aspinall1998-12-17
* Added Latest news section to preface to point to home page.Gravatar David Aspinall1998-12-17
* Split chapters of html for easier browsing.Gravatar David Aspinall1998-12-17
* Fixed spelling error.Gravatar David Aspinall1998-12-17
* Fixup for filenameGravatar David Aspinall1998-12-16
* Fixed info dir again. Removed detailed menu.Gravatar David Aspinall1998-12-16
* Updated magic.Gravatar David Aspinall1998-12-16
* Added a menu.Gravatar David Aspinall1998-12-16
* Added space after colon in info dir entry.Gravatar David Aspinall1998-12-16
* Fixed INFO-DIR-ENTRY (newline was lost)Gravatar David Aspinall1998-12-16
* Updated magic once moreGravatar David Aspinall1998-12-16
* further documentation of LEGO specific bugGravatar Thomas Kleymann1998-12-16
* Some hacks to make markup happen.Gravatar David Aspinall1998-12-16
* minor changes in the HistoryGravatar Thomas Kleymann1998-12-16
* . clarified history of multiple filesGravatar Thomas Kleymann1998-12-16
* Changed title of Chap 10.Gravatar David Aspinall1998-12-15
* Preface: Added David von Oheimb to credits. Mentioned adding multiple files.Gravatar David Aspinall1998-12-15
* Updated magic.Gravatar David Aspinall1998-12-15
* Made preface unnumbered. Cosmetic improvements. Updated magic.Gravatar David Aspinall1998-12-15
* credits now at the beginningGravatar Thomas Kleymann1998-12-15
* *** empty log message ***Gravatar Thomas Kleymann1998-12-15
* Added ps to make all.Gravatar David Aspinall1998-12-15
* Fixed several typos.Gravatar David Aspinall1998-12-15
* Updated magic. Small changes in Chap 11.Gravatar David Aspinall1998-12-15
* Added back magic target, handy to force update of magic.Gravatar David Aspinall1998-12-15
* radical new version of Credits and References sectionGravatar Thomas Kleymann1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* rearrange pages automaticallyGravatar Thomas Kleymann1998-12-14
* . Removed "multiple prover problem" from bugs section, since it's nowGravatar David Aspinall1998-12-11
* Changed name of proof-toolbar-inhibit variable for uniformity.Gravatar David Aspinall1998-12-10
* Added proof-shell-preprocess-command for Paul Callaghan.Gravatar David Aspinall1998-12-07
* Added HTML files.Gravatar David Aspinall1998-11-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 10:50:51 +0000