aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
...
* Updates for 3.4Gravatar David Aspinall2002-07-01
* GPL, 3.4 datesGravatar David Aspinall2002-06-21
* Updated the doc and the CHANGES file about new backtracking for Coq.Gravatar Pierre Courtieu2002-06-19
* Fix infoGravatar David Aspinall2002-06-19
* Add news for PG 3.4Gravatar David Aspinall2002-06-18
* Update magicGravatar David Aspinall2002-06-08
* updated URLxsymbol (unused);Gravatar Makarius Wenzel2002-05-13
* Reflect change in load orderGravatar David Aspinall2002-05-03
* Fix URL for X-symbolGravatar David Aspinall2002-04-23
* Document the tracing buffer; FSF Emacs -> GNU EmacsGravatar David Aspinall2002-01-16
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* Another bug reporterGravatar David Aspinall2001-09-24
* Minor improvementsGravatar David Aspinall2001-09-13
* Updates from an old printout of the manualGravatar David Aspinall2001-09-13
* Remove spurious comment at startGravatar David Aspinall2001-09-10
* Mention pg-toggle-visibility and its keybindingGravatar David Aspinall2001-09-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 05:52:30 +0000