aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-06-01Remove spurious requires.David Aspinall
2000-05-31Commented out global-timing since it seems to be Isabelle99-1 specific.David Aspinall
2000-05-31Added old completion table from Isamode. Added code to automatically add ↵David Aspinall
completion for x-symbol tokens.
2000-05-31Fix keybinding for completion. Add completion to menubar.David Aspinall
2000-05-31Added hack to completion.el to avoid adding every prefix as completion.David Aspinall
2000-05-31Compatibility with completion package.David Aspinall
2000-05-31Fixes for completion support.David Aspinall
2000-05-30improved isar-goals-font-lock-keywords;Makarius Wenzel
2000-05-30Set version tag for new release.David Aspinall
2000-05-30Added missing command terminators for proof-xsym commandsDavid Aspinall
2000-05-30Hairy parsing for Isar. Not finished (or working) yet.David Aspinall
2000-05-30Arg for proof-minibuffer-cmd: compact whitespace in region.David Aspinall
2000-05-30Fixed typo causing bug. Generic parsing updated (still wip)David Aspinall
2000-05-30handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Makarius Wenzel
2000-05-30isar-preprocessing inserts final terminator if none there.David Aspinall
Added (defpgdefault script-indent t) to turn on indentation. Added proof-script-command-start-regexp setting.
2000-05-30Change order of checks in proof-shell-live-bufferDavid Aspinall
2000-05-30defpacustom global-timing;Makarius Wenzel
2000-05-30Added process-live-pDavid Aspinall
2000-05-30Added proof-script-command-start-regexp. Updated docstrings to reflect that ↵David Aspinall
proof-terminal-char no longer appended to commands.
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 ↵David Aspinall
for goals buffer
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
settings.
2000-05-29New stuff for making proof assistant settings.David Aspinall
2000-05-29Added configuration variables for proof assistant settings. Docstring for ↵David Aspinall
favourites.
2000-05-29Added replace-string for FSF.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-07-20 11:24:08 +0000