aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
2000-02-09Doc for proof-shell-pre-interrupt-hookDavid Aspinall
1999-12-16Typos.David Aspinall
1999-12-14Minor fixesDavid Aspinall
1999-12-14Typo.David Aspinall
1999-12-14New chapter on Hints and Tips. Credit to Pierre.David Aspinall
1999-12-14Pierre: Added little a chapter to the documentation: Using FilePierre Courtieu
Variable, just after Isabelle ProofGeneral. Surely not the good place, should be in some section called "tricks".
1999-12-03Clarified further problem with Isabelle and ML files with embedded semis.David Aspinall
1999-12-01Minor.David Aspinall
1999-11-30Disabled use of macros for URLs, sigh. It breaks pdftexinfo.David Aspinall
1999-11-30Added macros for some URLs.David Aspinall
1999-11-29Fixed download URL to be homepage.David Aspinall
1999-11-29Added John's name to the creditsDavid Aspinall
1999-11-29Added more notes about using ML files in Isabelle.David Aspinall
1999-11-26Typo.David Aspinall
1999-11-26Moved Coq's Abbrev section. Fixed some typos.David Aspinall
1999-11-26Added index.html link.David Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-26Renamed fileDavid Aspinall
1999-11-25Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.David Aspinall
1999-11-25Added note about page rearrangement for pdf filesDavid Aspinall
1999-11-25Fixed credits list.David Aspinall
1999-11-25Comment about fonts. Fix info dir formattingDavid Aspinall
1999-11-25Added note about non-proof .ML files.David Aspinall
1999-11-25More improvements.David Aspinall
1999-11-24Polished draft.David Aspinall
1999-11-24Many improvements.David Aspinall
1999-11-23UpdatesDavid Aspinall
1999-11-22TypoDavid Aspinall
1999-11-22Renamed proof-auto-delete-windows -> proof-delete-empty-windowsDavid Aspinall
1999-11-22proof-shell-done-invisible -> proof-done-invisible againDavid Aspinall
1999-11-22Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)David Aspinall
1999-11-22Updates for X-Symbol support.David Aspinall
1999-11-22Fixed conditional inclusion of image. Added pdf to distdoc.David Aspinall
1999-11-22UpdatedDavid Aspinall
1999-11-22File movedDavid Aspinall
1999-11-22Fixes for conditional inclusion of front page imageDavid Aspinall
1999-11-19Fixed info probs. xrefs are a complete nonsense in info.David Aspinall
1999-11-19Magic updatedDavid Aspinall
1999-11-19UpdatedDavid Aspinall
1999-11-19Many updates and improvements (not finished yet)David Aspinall
1999-11-19Renamed fileDavid Aspinall
1999-11-19Additions for pdf version; needs hack to my pdftexinfo.tex to workDavid Aspinall
1999-11-18Updates to Preface.David Aspinall
1999-11-17Tweaked preface.David Aspinall
1999-11-17Name change proof-window-dedicated -> proof-dont-switch-windows.David Aspinall
1999-11-17Isabelle 99 -> Isabelle99 name changeDavid Aspinall
1999-11-17UpdatedDavid Aspinall
1999-11-17Fix FSF prob.David Aspinall
1999-11-17CommentDavid Aspinall
1999-11-16UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 21:02:27 +0000