aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-05-30TidiedDavid Aspinall
2000-05-30Added doc of new prefix arg feature for proof-minibuffer-cmdDavid Aspinall
2000-05-30Added prefix arg to proof-minibuffer-cmd to insert current region.David Aspinall
2000-05-29Favourites mechanism now fully implemented, I hope.David Aspinall
2000-05-29Set version tag for new release.David Aspinall
2000-05-29DocstringDavid Aspinall
2000-05-29Tweak font lock exprs enough for Example.thyDavid Aspinall
2000-05-29Font lock exprs for goals buffer like those in IsabelleDavid Aspinall
2000-05-29Set settings format function before calculating initial command. Add hilit f...David Aspinall
2000-05-29Remove isar-markup-ml from hereDavid Aspinall
2000-05-29Use generic default setting mechanism now. Add isar-markup-ml here.David Aspinall
2000-05-29Add -*- isar -*- tag to force mode, and comment to explain.David Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-29Added new parsing mechanism. Began removing proof-terminal-string.David Aspinall
2000-05-29Removed use of proof-terminal-string, added explicit terminators everywhere.David Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-29Updated for announcement.David Aspinall
2000-05-29Updated with new keybindings for Coq, Lego.David Aspinall
2000-05-29Changed keybindings for lego specific functionsDavid Aspinall
2000-05-29Changed keybindings for coq specific functionsDavid Aspinall
2000-05-29Generalized proof assistant settings mechanismDavid Aspinall
2000-05-29Add explicit terminators to commands. Generalized isabelle-set-default-cmd.David Aspinall
2000-05-29Additions to font lock on outputDavid Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-29Don\'t wait for ever if process dies on startupDavid Aspinall
2000-05-29Generalized proof-format to allow sexps in replacement.David Aspinall
2000-05-29Missing parenthesisDavid Aspinall
2000-05-29Added functions for defining string and integer setters, for proof assistant ...David Aspinall
2000-05-29New stuff for making proof assistant settings.David Aspinall
2000-05-29Added configuration variables for proof assistant settings. Docstring for fa...David Aspinall
2000-05-29Added replace-string for FSF.David Aspinall
2000-05-29Fixed define-key calls. Set useful default for plastic prog nameDavid Aspinall
2000-05-26Docstring.David Aspinall
2000-05-26proof-defass-default -> defpgdefaultDavid Aspinall
2000-05-26Removed proof-script-indent check.David Aspinall
2000-05-26Update to use generic option indent-line, and switch insideDavid Aspinall
2000-05-26Switch to using per-prover generic option for x-symbol-enable.David Aspinall
2000-05-26Binding for complete.David Aspinall
2000-05-26Macros for generic custom settings from proof-config.David Aspinall
2000-05-26Rename proof-defass-custom -> defpgcustom.David Aspinall
2000-05-26fixed error in test.lfPaul Callaghan
2000-05-26Moved compatibility code into proof-compat.elDavid Aspinall
2000-05-26Only extend the load path if necessaryDavid Aspinall
2000-05-26Comments, still nothing here.David Aspinall
2000-05-26Clean also deletes CVS temporaries (naughty, should be in devel.clean really)David Aspinall
2000-05-26UpdatedDavid Aspinall
2000-05-26Updated magicDavid Aspinall
2000-05-26Attempt to quote @ (failed, dunno why)David Aspinall
2000-05-26isar-any-command-regexp;Makarius Wenzel
2000-05-26isar-keywords-major;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 14:42:27 +0000