aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Updated versions.Gravatar David Aspinall2000-03-10
* Added proof-shell-process-connection-typeGravatar David Aspinall2000-03-09
* Plans and ideas appendix no longer maintained, ref to web pageGravatar David Aspinall2000-03-09
* Canonical URL.Gravatar David Aspinall2000-02-15
* Doc for proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* Typos.Gravatar David Aspinall1999-12-16
* Minor fixesGravatar David Aspinall1999-12-14
* Typo.Gravatar David Aspinall1999-12-14
* New chapter on Hints and Tips. Credit to Pierre.Gravatar David Aspinall1999-12-14
* Pierre: Added little a chapter to the documentation: Using FileGravatar Pierre Courtieu1999-12-14
* Clarified further problem with Isabelle and ML files with embedded semis.Gravatar David Aspinall1999-12-03
* Minor.Gravatar David Aspinall1999-12-01
* Disabled use of macros for URLs, sigh. It breaks pdftexinfo.Gravatar David Aspinall1999-11-30
* Added macros for some URLs.Gravatar David Aspinall1999-11-30
* Fixed download URL to be homepage.Gravatar David Aspinall1999-11-29
* Added John's name to the creditsGravatar David Aspinall1999-11-29
* Added more notes about using ML files in Isabelle.Gravatar David Aspinall1999-11-29
* Typo.Gravatar David Aspinall1999-11-26
* Moved Coq's Abbrev section. Fixed some typos.Gravatar David Aspinall1999-11-26
* Added index.html link.Gravatar David Aspinall1999-11-26
* Renamed fileGravatar David Aspinall1999-11-26
* Renamed fileGravatar David Aspinall1999-11-26
* Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.Gravatar David Aspinall1999-11-25
* Added note about page rearrangement for pdf filesGravatar David Aspinall1999-11-25
* Fixed credits list.Gravatar David Aspinall1999-11-25
* Comment about fonts. Fix info dir formattingGravatar David Aspinall1999-11-25
* Added note about non-proof .ML files.Gravatar David Aspinall1999-11-25
* More improvements.Gravatar David Aspinall1999-11-25
* Polished draft.Gravatar David Aspinall1999-11-24
* Many improvements.Gravatar David Aspinall1999-11-24
* UpdatesGravatar David Aspinall1999-11-23
* TypoGravatar David Aspinall1999-11-22
* Renamed proof-auto-delete-windows -> proof-delete-empty-windowsGravatar David Aspinall1999-11-22
* proof-shell-done-invisible -> proof-done-invisible againGravatar David Aspinall1999-11-22
* Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)Gravatar David Aspinall1999-11-22
* Updates for X-Symbol support.Gravatar David Aspinall1999-11-22
* Fixed conditional inclusion of image. Added pdf to distdoc.Gravatar David Aspinall1999-11-22
* UpdatedGravatar David Aspinall1999-11-22
* File movedGravatar David Aspinall1999-11-22
* Fixes for conditional inclusion of front page imageGravatar David Aspinall1999-11-22
* Fixed info probs. xrefs are a complete nonsense in info.Gravatar David Aspinall1999-11-19
* Magic updatedGravatar David Aspinall1999-11-19
* UpdatedGravatar David Aspinall1999-11-19
* Many updates and improvements (not finished yet)Gravatar David Aspinall1999-11-19
* Renamed fileGravatar David Aspinall1999-11-19
* Additions for pdf version; needs hack to my pdftexinfo.tex to workGravatar David Aspinall1999-11-19
* Updates to Preface.Gravatar David Aspinall1999-11-18
* Tweaked preface.Gravatar David Aspinall1999-11-17
* Name change proof-window-dedicated -> proof-dont-switch-windows.Gravatar David Aspinall1999-11-17
* Isabelle 99 -> Isabelle99 name changeGravatar David Aspinall1999-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 21:08:21 +0000