aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2000-05-09Updated 3.2 changesDavid Aspinall
2000-05-09Added default targetDavid Aspinall
2000-05-05Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.David Aspinall
2000-05-05Fix markup bug.David Aspinall
2000-05-05Expanded explanation of selecting Isar.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-04-07mode-for-pbp -> mode-for-goalsDavid Aspinall
2000-04-07Updates for 3.2. Added documentation of silent settings.David Aspinall
2000-03-24Add some more bullets.David Aspinall
2000-03-24Updated copy dateDavid Aspinall
2000-03-23Made magic.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22Added new customization: proof-shell-string-escapes.David Aspinall
2000-03-19Remove comma from section heading, bad for info.David Aspinall
2000-03-19Ack ETLDavid Aspinall
2000-03-19Improved LEGO walk-through somewhat. Also documented C-c C-BS.David Aspinall
2000-03-13Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 rele...David Aspinall
2000-03-10Updated versions.David Aspinall
2000-03-09Added proof-shell-process-connection-typeDavid Aspinall
2000-03-09Plans and ideas appendix no longer maintained, ref to web pageDavid Aspinall
2000-02-15Canonical URL.David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 11:03:47 +0000