aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2003-02-17Remove subterm markup striping in proof-shell-process-output (error case). DocsDavid Aspinall
2003-02-16Set version tag for new release.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-05Doc generalisation of proof-script-command-end-regexp.David Aspinall
2003-02-05Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingDavid Aspinall
2003-02-05Compatibility function for customize-menu-createDavid Aspinall
2003-02-05Give up on customize-menu-create on GNU EmacsDavid Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-02-02Fix from Christoph Conrad for Emacs compatibility (buffer-string)David Aspinall
2003-01-29Updated.David Aspinall
2003-01-29Add remassoc for FSF.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2002-12-29Fake customize menu create for latest Emacs release -- workaround new bug thereDavid Aspinall
2002-12-29Try to catch nesting too deep ugliness (esp in Isabelle tracing)David Aspinall
2002-12-29Add followdownDavid Aspinall
2002-12-29Add followdown mode; compat noteDavid Aspinall
2002-12-29Buglet in proof-shell-ready-proverDavid Aspinall
2002-11-28DocDavid Aspinall
2002-11-28Add pg-xml-encode-entities.David Aspinall
2002-11-28Revert proof-shell-handle-output version, add failsafe.David Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
2002-11-20Remove junkDavid Aspinall
2002-11-20Updated.David Aspinall
2002-11-20CommentDavid Aspinall
2002-11-20proof-shell-invisible-cmd also accepts a function yielding a command.David Aspinall
2002-11-20Fix typo.David Aspinall
2002-11-20Add reset options, and save/reset settings items.David Aspinall
2002-11-20Add pg-custom-reset-vars. Make proofdefintset display current valueDavid Aspinall
2002-11-20FIXMEDavid Aspinall
2002-11-20Add pg-issue-pgipDavid Aspinall
2002-11-18Add undefpgcustomDavid Aspinall
2002-11-18Support redefinitions in proof-defpacustom-fn, by removing custom settings.David Aspinall
2002-11-18Fixup code to interpret default values.David Aspinall
2002-11-18Add pg-custom-undeclare-variable.David Aspinall
2002-11-14Next iteration: add post-processing step, descriptions in haspref.David Aspinall
2002-11-14Disable message display when parsing xml strings.David Aspinall
2002-11-14Add proof-assistant-menu-update, allow redefine of setting in pacustom.David Aspinall
2002-11-14Tweak calling of pg-pgip processing commands.David Aspinall
2002-11-14Add proof-shell-issue-pgip-cmdDavid Aspinall
2002-11-14Erase buffer in kill action. Tweak proof-debug arguments.David Aspinall
2002-11-13Fix to proof-shell-handle-output (or rather, to setting of ↵David Aspinall
proof-shell-last-output)
2002-11-11Set version tag for new release.David Aspinall
2002-11-11(Failed) Attempt to fix UTF-8 problem for RH8.David Aspinall
2002-11-08Set version tag for new release.David Aspinall
2002-11-07Debuggin pg-pgip-haspref.David Aspinall
2002-11-07Add subst-char-in-string (Monnier patch) for XEmacs.David Aspinall
2002-11-07Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; ↵David Aspinall
plus cosmetics.
2002-11-07Updated.David Aspinall
2002-09-16Set version tag for new release.David Aspinall
2002-09-14New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 19:16:31 +0000