aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* TodoGravatar David Aspinall2001-09-05
* Update version numbers, time stamps.Gravatar David Aspinall2001-09-03
* Note of what to doGravatar David Aspinall2001-09-03
* Something about dependencies featureGravatar David Aspinall2001-08-31
* Fix web page for kitGravatar David Aspinall2001-08-28
* added something in the doc about coq-version-is-V7.Gravatar Pierre Courtieu2001-08-28
* Document visibility controlGravatar David Aspinall2001-08-16
* Update last updated, copyrightGravatar David Aspinall2001-08-01
* AF2 -> PhoX name changeGravatar David Aspinall2001-05-29
* MinorGravatar David Aspinall2001-05-16
* Fix section title for makeinfoGravatar David Aspinall2001-05-08
* Updates for 3.3Gravatar David Aspinall2001-05-08
* Try to disable image for nowGravatar David Aspinall2001-05-01
* updated thms_containing;Gravatar Makarius Wenzel2001-02-01
* 3.2 -> 3.3preGravatar David Aspinall2000-12-01
* Date becomes OctGravatar David Aspinall2000-09-28
* TweaksGravatar David Aspinall2000-09-28
* Fix typo, add credit.Gravatar David Aspinall2000-09-28
* proper spelling: "Leonor Prensa Nieto";Gravatar Makarius Wenzel2000-09-27
* Shortened BUGs appendix, other improvementsGravatar David Aspinall2000-09-27
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
* Update date.Gravatar David Aspinall2000-09-23
* Fix infodir entry, it got broken somehow.Gravatar David Aspinall2000-09-21
* Moved proof-add-completions to adapting manualGravatar David Aspinall2000-09-14
* Minor improvementsGravatar David Aspinall2000-09-13
* Update date.Gravatar David Aspinall2000-09-12
* Customize always available if PG isGravatar David Aspinall2000-09-08
* Fix description of manual now broken into twoGravatar David Aspinall2000-08-28
* Missing full stopGravatar David Aspinall2000-08-28
* Split manual into two parts.Gravatar David Aspinall2000-08-28
* updated;Gravatar Makarius Wenzel2000-07-26
* Minor updatesGravatar David Aspinall2000-07-12
* Updated list of helpers. TypoGravatar David Aspinall2000-06-19
* Elaborated on where to find example fileGravatar David Aspinall2000-06-15
* Updated magic.Gravatar David Aspinall2000-06-09
* completely new indentation setup: faster, easier to configure;Gravatar Makarius Wenzel2000-06-08
* Added paragraph and index entry explaining prefix arguments,Gravatar David Aspinall2000-06-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 10:20:26 +0000