aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Made require on proof-menu instead of proof-script.Gravatar David Aspinall2000-06-01
* Use proof-comment-{start,end}-regexpGravatar David Aspinall2000-06-01
* Added proof-comment-start-regexp, proof-commend-end-regexp.Gravatar David Aspinall2000-06-01
* Remove spurious requires.Gravatar David Aspinall2000-06-01
* Commented out global-timing since it seems to be Isabelle99-1 specific.Gravatar David Aspinall2000-05-31
* Added old completion table from Isamode. Added code to automatically add com...Gravatar David Aspinall2000-05-31
* Fix keybinding for completion. Add completion to menubar.Gravatar David Aspinall2000-05-31
* Added hack to completion.el to avoid adding every prefix as completion.Gravatar David Aspinall2000-05-31
* Compatibility with completion package.Gravatar David Aspinall2000-05-31
* Fixes for completion support.Gravatar David Aspinall2000-05-31
* improved isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-05-30
* Set version tag for new release.Gravatar David Aspinall2000-05-30
* Added missing command terminators for proof-xsym commandsGravatar David Aspinall2000-05-30
* Hairy parsing for Isar. Not finished (or working) yet.Gravatar David Aspinall2000-05-30
* Arg for proof-minibuffer-cmd: compact whitespace in region.Gravatar David Aspinall2000-05-30
* Fixed typo causing bug. Generic parsing updated (still wip)Gravatar David Aspinall2000-05-30
* handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;Gravatar Makarius Wenzel2000-05-30
* isar-preprocessing inserts final terminator if none there.Gravatar David Aspinall2000-05-30
* Change order of checks in proof-shell-live-bufferGravatar David Aspinall2000-05-30
* defpacustom global-timing;Gravatar Makarius Wenzel2000-05-30
* Added process-live-pGravatar David Aspinall2000-05-30
* Added proof-script-command-start-regexp. Updated docstrings to reflect that ...Gravatar David Aspinall2000-05-30
* TidiedGravatar David Aspinall2000-05-30
* Added doc of new prefix arg feature for proof-minibuffer-cmdGravatar David Aspinall2000-05-30
* Added prefix arg to proof-minibuffer-cmd to insert current region.Gravatar David Aspinall2000-05-30
* Favourites mechanism now fully implemented, I hope.Gravatar David Aspinall2000-05-29
* Set version tag for new release.Gravatar David Aspinall2000-05-29
* DocstringGravatar David Aspinall2000-05-29
* Tweak font lock exprs enough for Example.thyGravatar David Aspinall2000-05-29
* Font lock exprs for goals buffer like those in IsabelleGravatar David Aspinall2000-05-29
* Set settings format function before calculating initial command. Add hilit f...Gravatar David Aspinall2000-05-29
* Remove isar-markup-ml from hereGravatar David Aspinall2000-05-29
* Use generic default setting mechanism now. Add isar-markup-ml here.Gravatar David Aspinall2000-05-29
* Add -*- isar -*- tag to force mode, and comment to explain.Gravatar David Aspinall2000-05-29
* UpdatedGravatar David Aspinall2000-05-29
* Added new parsing mechanism. Began removing proof-terminal-string.Gravatar David Aspinall2000-05-29
* Removed use of proof-terminal-string, added explicit terminators everywhere.Gravatar David Aspinall2000-05-29
* UpdatedGravatar David Aspinall2000-05-29
* Updated for announcement.Gravatar David Aspinall2000-05-29
* Updated with new keybindings for Coq, Lego.Gravatar David Aspinall2000-05-29
* Changed keybindings for lego specific functionsGravatar David Aspinall2000-05-29
* Changed keybindings for coq specific functionsGravatar David Aspinall2000-05-29
* Generalized proof assistant settings mechanismGravatar David Aspinall2000-05-29
* Add explicit terminators to commands. Generalized isabelle-set-default-cmd.Gravatar David Aspinall2000-05-29
* Additions to font lock on outputGravatar David Aspinall2000-05-29
* UpdatedGravatar David Aspinall2000-05-29
* Don\'t wait for ever if process dies on startupGravatar David Aspinall2000-05-29
* Generalized proof-format to allow sexps in replacement.Gravatar David Aspinall2000-05-29
* Missing parenthesisGravatar David Aspinall2000-05-29
* Added functions for defining string and integer setters, for proof assistant ...Gravatar David Aspinall2000-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 13:54:06 +0000