aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2002-07-18Update magicDavid Aspinall
2002-07-18Update magic, move version history to appendix.David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-14Fix authorshipDavid Aspinall
2002-07-02Remove description of known bugs.David Aspinall
2002-07-01Updates for 3.4David Aspinall
2002-06-21GPL, 3.4 datesDavid Aspinall
2002-06-19Updated the doc and the CHANGES file about new backtracking for Coq.Pierre Courtieu
2002-06-19Add doc of proof-shell-last-prompt.David Aspinall
2002-06-19Fix infoDavid Aspinall
2002-06-18Add news for PG 3.4David Aspinall
2002-06-18Update magic. Document nested proof settings.David Aspinall
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-03-21Document some new settingsDavid Aspinall
2002-01-16FSF Emacs -> GNU EmacsDavid Aspinall
2002-01-16Document the tracing buffer; FSF Emacs -> GNU EmacsDavid Aspinall
2001-12-04update from make process;Makarius Wenzel
2001-12-04isar specific commands for bold/sup/sub;Makarius Wenzel
2001-09-24Update magicDavid Aspinall
2001-09-24New lineDavid Aspinall
2001-09-24Another bug reporterDavid Aspinall
2001-09-13Link uref nicelyDavid 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-09Update docs.David 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-08Change info dir entry to appear next to Proof General entry.David 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-03-20Updated magicDavid Aspinall
2001-03-20Use PS fonts in PS fileDavid Aspinall
2001-02-01updated thms_containing;Makarius Wenzel
2000-12-20Fix magicDavid Aspinall
2000-12-20Document proof-shell-last-output and friendsDavid Aspinall
2000-12-013.2 -> 3.3preDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 12:37:15 +0000