aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-09-12Add sanity check on important settings for proof shell (underway)David Aspinall
2000-09-12Added entry for Af2David Aspinall
2000-09-12Docs for proof-shell-eager-annotation-start stuffDavid Aspinall
2000-09-12New version sent by Christophe.David Aspinall
2000-09-11proof-shell-pre-interrupt-hook for PolyML 3 only;Makarius Wenzel
2000-09-11Set version tag for new release.David Aspinall
2000-09-11New prover, first bash.David Aspinall
2000-09-11Added proof-shell-annotated-prompt-regexp to important settings, removed ↵David Aspinall
safe default of empty string (now will have error msgs from filter)
2000-09-08Customize always available if PG isDavid Aspinall
2000-09-08UpdatedDavid Aspinall
2000-09-08Changes for selecting object logic, locating executables.David Aspinall
2000-09-08ADded proof-locate-executable.David Aspinall
2000-09-08Fix obscure problem with proof-segment-upto-cmdstart with buggy input.David Aspinall
2000-09-08RearrangementDavid Aspinall
2000-09-07removed "of", "congs";Makarius Wenzel
added "hints";
2000-09-03removed unused variable C;Makarius Wenzel
2000-09-02more quoting;Makarius Wenzel
2000-08-30use isar-markup-ml;Makarius Wenzel
eliminated superficial semicolons; fixed proof-shell-quit-cmd;
2000-08-29syntax: "?" made word char;Makarius Wenzel
2000-08-29Set version tag for new release.David Aspinall
2000-08-29TweakDavid Aspinall
2000-08-29Example file grabbed from twelf distribDavid Aspinall
2000-08-29A little bit of progress.David Aspinall
2000-08-29Added proof-shell-auto-terminate-commandsDavid Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-28adapting manual needs intro fixingDavid Aspinall
2000-08-28Fix description of manual now broken into twoDavid Aspinall
2000-08-28Updated magicDavid Aspinall
2000-08-28Fix recursive makeDavid Aspinall
2000-08-28Note about CVSROOT setting.David Aspinall
2000-08-28BranchDavid Aspinall
2000-08-28Remove Library.timings call, restore compatibility with I99.David Aspinall
2000-08-28BranchDavid Aspinall
2000-08-28Files for twelf, not working at all yet.David Aspinall
2000-08-28UpdatedDavid Aspinall
2000-08-28Added a couple of todosDavid Aspinall
2000-08-28Change name of mode: isar-proofscript-mode -> isar-mode and removeDavid Aspinall
alias. Regular mode name needed for fancy macros. Use proof-definvisible fancy macro to define help menu functions. Removed parentheses from menu entries so key bindings show up.
2000-08-28Missing full stopDavid Aspinall
2000-08-28Test file for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28Added setting for proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28Added proof-shell-set-elisp-variable-regexpDavid Aspinall
2000-08-28Added twelf and experimental support note.David Aspinall
2000-08-28FIXME note added, missing docstring from macro fn def.David Aspinall
2000-08-28News updatedDavid Aspinall
2000-08-28Link to two manuals now.David Aspinall
2000-08-28Split manual into two parts.David Aspinall
Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible.
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-28conditional load of proof-site.el;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
do not load proof-site.el here;
2000-08-26nothing important, I forgot to undo something before my last commit inPierre Courtieu
coq/x-symbol-coq.el
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 17:55:38 +0000