aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2003-02-05
* Doc generalisation of proof-script-command-end-regexp.Gravatar David Aspinall2003-02-05
* Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingGravatar David Aspinall2003-02-05
* Compatibility function for customize-menu-createGravatar David Aspinall2003-02-05
* Give up on customize-menu-create on GNU EmacsGravatar David Aspinall2003-02-05
* Set version tag for new release.Gravatar David Aspinall2003-02-03
* Fix from Christoph Conrad for Emacs compatibility (buffer-string)Gravatar David Aspinall2003-02-02
* Updated.Gravatar David Aspinall2003-01-29
* Add remassoc for FSF.Gravatar David Aspinall2003-01-29
* Set version tag for new release.Gravatar David Aspinall2003-01-20
* Fake customize menu create for latest Emacs release -- workaround new bug thereGravatar David Aspinall2002-12-29
* Try to catch nesting too deep ugliness (esp in Isabelle tracing)Gravatar David Aspinall2002-12-29
* Add followdownGravatar David Aspinall2002-12-29
* Add followdown mode; compat noteGravatar David Aspinall2002-12-29
* Buglet in proof-shell-ready-proverGravatar David Aspinall2002-12-29
* DocGravatar David Aspinall2002-11-28
* Add pg-xml-encode-entities.Gravatar David Aspinall2002-11-28
* Revert proof-shell-handle-output version, add failsafe.Gravatar David Aspinall2002-11-28
* Autoload proof-definvisibleGravatar David Aspinall2002-11-20
* Remove junkGravatar David Aspinall2002-11-20
* Updated.Gravatar David Aspinall2002-11-20
* CommentGravatar David Aspinall2002-11-20
* proof-shell-invisible-cmd also accepts a function yielding a command.Gravatar David Aspinall2002-11-20
* Fix typo.Gravatar David Aspinall2002-11-20
* Add reset options, and save/reset settings items.Gravatar David Aspinall2002-11-20
* Add pg-custom-reset-vars. Make proofdefintset display current valueGravatar David Aspinall2002-11-20
* FIXMEGravatar David Aspinall2002-11-20
* Add pg-issue-pgipGravatar David Aspinall2002-11-20
* Add undefpgcustomGravatar David Aspinall2002-11-18
* Support redefinitions in proof-defpacustom-fn, by removing custom settings.Gravatar David Aspinall2002-11-18
* Fixup code to interpret default values.Gravatar David Aspinall2002-11-18
* Add pg-custom-undeclare-variable.Gravatar David Aspinall2002-11-18
* Next iteration: add post-processing step, descriptions in haspref.Gravatar David Aspinall2002-11-14
* Disable message display when parsing xml strings.Gravatar David Aspinall2002-11-14
* Add proof-assistant-menu-update, allow redefine of setting in pacustom.Gravatar David Aspinall2002-11-14
* Tweak calling of pg-pgip processing commands.Gravatar David Aspinall2002-11-14
* Add proof-shell-issue-pgip-cmdGravatar David Aspinall2002-11-14
* Erase buffer in kill action. Tweak proof-debug arguments.Gravatar David Aspinall2002-11-14
* Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...Gravatar David Aspinall2002-11-13
* Set version tag for new release.Gravatar David Aspinall2002-11-11
* (Failed) Attempt to fix UTF-8 problem for RH8.Gravatar David Aspinall2002-11-11
* Set version tag for new release.Gravatar David Aspinall2002-11-08
* Debuggin pg-pgip-haspref.Gravatar David Aspinall2002-11-07
* Add subst-char-in-string (Monnier patch) for XEmacs.Gravatar David Aspinall2002-11-07
* Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...Gravatar David Aspinall2002-11-07
* Updated.Gravatar David Aspinall2002-11-07
* Set version tag for new release.Gravatar David Aspinall2002-09-16
* New files.Gravatar David Aspinall2002-09-14
* Change to proof-shell-ready-prover to allow more flexible queue handlingGravatar David Aspinall2002-09-14
* CommentsGravatar David Aspinall2002-09-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 16:06:19 +0000