aboutsummaryrefslogtreecommitdiff
path: root/doc/PG-adapting.texi
AgeCommit message (Expand)Author
2008-01-30Update magicDavid Aspinall
2008-01-17Fix included fileDavid Aspinall
2008-01-17Update datesDavid Aspinall
2008-01-14Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- s...David Aspinall
2007-12-14Update docstring magicDavid Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David Aspinall
2007-08-19pg-topterm-char -> pg-topterm-regexpDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-06-19Fix broken texi magic strings.David Aspinall
2007-06-19Account for new default behaviour of texi2html, using subdir for manualsDavid Aspinall
2005-05-17Fix menu path to CustomizeDavid Aspinall
2004-08-25Update for 3.6David Aspinall
2004-06-04Update magic, datesDavid Aspinall
2004-05-09Update versions and dates. Extra section in adapting for syntax table, etc.David Aspinall
2004-05-06Whitespace.David Aspinall
2004-05-06Run magic, clean up duplicated entries and whitespace.David Aspinall
2004-04-24SpacingDavid Aspinall
2004-04-24Add proof-shell-require-command-regexp, proof-done-advancing-require-functionDavid Aspinall
2004-04-17Updated magicDavid Aspinall
2004-04-17Update dates, update magic, doc proof-cannot-reopen-processed-files.David Aspinall
2004-04-16Explain how to configure Imenu.David Aspinall
2004-04-03Update version to 3.5David Aspinall
2004-04-02Update magicDavid Aspinall
2004-03-23Update dateDavid Aspinall
2004-03-23Intro to 3.5 version, Emacs version updateDavid Aspinall
2004-03-23Update last updated stampDavid Aspinall
2004-02-08Update some urlsDavid Aspinall
2004-02-08Update magicDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-06-05Update magicDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 14:36:58 +0000