aboutsummaryrefslogtreecommitdiff
path: root/doc/PG-adapting.texi
AgeCommit message (Expand)Author
2003-03-17Updated magicDavid Aspinall
2002-09-11Update version number, reorg.David Aspinall
2002-08-31Doc new proof-zap-commasDavid Aspinall
2002-08-29Remove proof-splash-extensionsDavid Aspinall
2002-08-29Update magicDavid Aspinall
2002-08-28Update dir entries, remove localdir fileDavid Aspinall
2002-08-12Update magicDavid Aspinall
2002-08-08Fix markupDavid Aspinall
2002-08-08Fix email addresses; tweaks.David Aspinall
2002-08-07Doc proof-shell-strip-crs-from-output; update magicDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-18Update magicDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-01Updates for 3.4David Aspinall
2002-06-21GPL, 3.4 datesDavid Aspinall
2002-06-19Add doc of proof-shell-last-prompt.David Aspinall
2002-06-18Update magic. Document nested proof settings.David Aspinall
2002-04-23Fix URL for X-symbolDavid Aspinall
2002-03-21Document some new settingsDavid Aspinall
2002-01-16FSF Emacs -> GNU EmacsDavid Aspinall
2001-12-04update from make process;Makarius Wenzel
2001-09-24Update magicDavid Aspinall
2001-09-13Link uref nicelyDavid Aspinall
2001-09-13Updates from an old printout of the manualDavid Aspinall
2001-09-09Update docs.David Aspinall
2001-09-03Update version numbers, time stamps.David Aspinall
2001-08-28Fix web page for kitDavid Aspinall
2001-08-01Update last updated, copyrightDavid Aspinall
2001-05-08Change info dir entry to appear next to Proof General entry.David Aspinall
2001-05-01Try to disable image for nowDavid Aspinall
2001-03-20Updated magicDavid Aspinall
2000-12-20Fix magicDavid Aspinall
2000-12-20Document proof-shell-last-output and friendsDavid Aspinall
2000-12-013.2 -> 3.3preDavid Aspinall
2000-11-13*** empty log message ***Christophe Raffalli
2000-11-10*** empty log message ***Christophe Raffalli
2000-10-02Updated magicDavid Aspinall
2000-10-02Subtitle capsDavid Aspinall
2000-09-29Typos in credits sectionDavid Aspinall
2000-09-29Added credits sectionDavid Aspinall
2000-09-28Date becomes OctDavid Aspinall
2000-09-28Added extra section on how to tweak script input to the shellDavid Aspinall
2000-09-27Added future section, fixed URLs. Updated to mention proof-script-sexp-comma...David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-21Slightly shorter name for info dir entry.David Aspinall
2000-09-21Improved adding more lisp code chapter.David Aspinall
2000-09-14Encourage use of easy instantiation mechanism.David Aspinall
2000-09-14Added doc of completions, several other script settings. Sections in script ...David Aspinall
2000-09-14Note about creating images for toolbar.David Aspinall
2000-09-13Removed keystroke index.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 21:14:20 +0000