aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* New stuff for making proof assistant settings.Gravatar David Aspinall2000-05-29
* Added configuration variables for proof assistant settings. Docstring for fa...Gravatar David Aspinall2000-05-29
* Added replace-string for FSF.Gravatar David Aspinall2000-05-29
* Fixed define-key calls. Set useful default for plastic prog nameGravatar David Aspinall2000-05-29
* Docstring.Gravatar David Aspinall2000-05-26
* proof-defass-default -> defpgdefaultGravatar David Aspinall2000-05-26
* Removed proof-script-indent check.Gravatar David Aspinall2000-05-26
* Update to use generic option indent-line, and switch insideGravatar David Aspinall2000-05-26
* Switch to using per-prover generic option for x-symbol-enable.Gravatar David Aspinall2000-05-26
* Binding for complete.Gravatar David Aspinall2000-05-26
* Macros for generic custom settings from proof-config.Gravatar David Aspinall2000-05-26
* Rename proof-defass-custom -> defpgcustom.Gravatar David Aspinall2000-05-26
* fixed error in test.lfGravatar Paul Callaghan2000-05-26
* Moved compatibility code into proof-compat.elGravatar David Aspinall2000-05-26
* Only extend the load path if necessaryGravatar David Aspinall2000-05-26
* Comments, still nothing here.Gravatar David Aspinall2000-05-26
* Clean also deletes CVS temporaries (naughty, should be in devel.clean really)Gravatar David Aspinall2000-05-26
* UpdatedGravatar David Aspinall2000-05-26
* Updated magicGravatar David Aspinall2000-05-26
* Attempt to quote @ (failed, dunno why)Gravatar David Aspinall2000-05-26
* isar-any-command-regexp;Gravatar Makarius Wenzel2000-05-26
* isar-keywords-major;Gravatar Makarius Wenzel2000-05-26
* Temp hacks to get doc to build before proper commits.Gravatar David Aspinall2000-05-25
* Made x-symbol-enable be individual option.Gravatar David Aspinall2000-05-25
* Added completion table code.Gravatar David Aspinall2000-05-25
* Fixes for PA docs, and file load order.Gravatar David Aspinall2000-05-25
* Patched patch again.Gravatar David Aspinall2000-05-25
* Spurious newline causing patch to fall over.Gravatar David Aspinall2000-05-25
* Removed spurious code in isar-mode function.Gravatar David Aspinall2000-05-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 03:32:19 +0000