aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
2002-06-08Update magicDavid Aspinall
2002-05-13updated URLxsymbol (unused);Makarius Wenzel
2002-05-03Reflect change in load orderDavid Aspinall
2002-04-23Fix URL for X-symbolDavid Aspinall
2002-01-16Document the tracing buffer; FSF Emacs -> GNU EmacsDavid Aspinall
2001-12-04isar specific commands for bold/sup/sub;Makarius Wenzel
2001-09-24Another bug reporterDavid Aspinall
2001-09-13Minor improvementsDavid Aspinall
2001-09-13Updates from an old printout of the manualDavid Aspinall
2001-09-10Remove spurious comment at startDavid Aspinall
2001-09-05Mention pg-toggle-visibility and its keybindingDavid Aspinall
2001-09-05TodoDavid Aspinall
2001-09-03Update version numbers, time stamps.David Aspinall
2001-09-03Note of what to doDavid Aspinall
2001-08-31Something about dependencies featureDavid Aspinall
2001-08-28Fix web page for kitDavid Aspinall
2001-08-28added something in the doc about coq-version-is-V7.Pierre Courtieu
2001-08-16Document visibility controlDavid Aspinall
2001-08-01Update last updated, copyrightDavid Aspinall
2001-05-29AF2 -> PhoX name changeDavid Aspinall
2001-05-16MinorDavid Aspinall
2001-05-08Fix section title for makeinfoDavid Aspinall
2001-05-08Updates for 3.3David Aspinall
2001-05-01Try to disable image for nowDavid Aspinall
2001-02-01updated thms_containing;Makarius Wenzel
2000-12-013.2 -> 3.3preDavid Aspinall
2000-09-28Date becomes OctDavid Aspinall
2000-09-28TweaksDavid Aspinall
2000-09-28Fix typo, add credit.David Aspinall
2000-09-27proper spelling: "Leonor Prensa Nieto";Makarius Wenzel
2000-09-27Shortened BUGs appendix, other improvementsDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-23Update date.David Aspinall
2000-09-21Fix infodir entry, it got broken somehow.David Aspinall
2000-09-14Moved proof-add-completions to adapting manualDavid Aspinall
2000-09-13Minor improvementsDavid Aspinall
2000-09-12Update date.David Aspinall
2000-09-08Customize always available if PG isDavid Aspinall
2000-08-28Fix description of manual now broken into twoDavid Aspinall
2000-08-28Missing full stopDavid Aspinall
2000-08-28Split manual into two parts.David Aspinall
2000-07-26updated;Makarius Wenzel
2000-07-12Minor updatesDavid Aspinall
2000-06-19Updated list of helpers. TypoDavid Aspinall
2000-06-15Elaborated on where to find example fileDavid Aspinall
2000-06-09Updated magic.David Aspinall
2000-06-08completely new indentation setup: faster, easier to configure;Makarius Wenzel
2000-06-05Added paragraph and index entry explaining prefix arguments,David Aspinall
2000-06-01Added proof-comment-{start,end}-regexp.David Aspinall
2000-05-29Updated with new keybindings for Coq, Lego.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 17:11:42 +0000