aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Added proof-comment-{start,end}-regexp.Gravatar David Aspinall2000-06-01
* Updated with new keybindings for Coq, Lego.Gravatar David Aspinall2000-05-29
* Updated magicGravatar David Aspinall2000-05-26
* Fix info bug.Gravatar David Aspinall2000-05-25
* Doc more new features and bug fixes for 3.2.Gravatar David Aspinall2000-05-25
* Updated magic, new funcs.Gravatar David Aspinall2000-05-16
* Updated 3.2 changesGravatar David Aspinall2000-05-09
* Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.Gravatar David Aspinall2000-05-05
* Fix markup bug.Gravatar David Aspinall2000-05-05
* Expanded explanation of selecting Isar.Gravatar David Aspinall2000-05-05
* Added proof-assistant-menu-entries for proof assistant specific menus.Gravatar David Aspinall2000-05-01
* mode-for-pbp -> mode-for-goalsGravatar David Aspinall2000-04-07
* Updates for 3.2. Added documentation of silent settings.Gravatar David Aspinall2000-04-07
* Add some more bullets.Gravatar David Aspinall2000-03-24
* Updated copy dateGravatar David Aspinall2000-03-24
* Made magic.Gravatar David Aspinall2000-03-23
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Added new customization: proof-shell-string-escapes.Gravatar David Aspinall2000-03-22
* Remove comma from section heading, bad for info.Gravatar David Aspinall2000-03-19
* Ack ETLGravatar David Aspinall2000-03-19
* Improved LEGO walk-through somewhat. Also documented C-c C-BS.Gravatar David Aspinall2000-03-19
* Added chapter on HOL. Info about hacky X-Symbol support. News about 3.1 rele...Gravatar David Aspinall2000-03-13
* 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
* Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.Gravatar 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 12:05:48 +0000