index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Added proof-script-command-start-regexp. Updated docstrings to reflect that ...
David Aspinall
2000-05-30
*
Tidied
David Aspinall
2000-05-30
*
Added doc of new prefix arg feature for proof-minibuffer-cmd
David Aspinall
2000-05-30
*
Added prefix arg to proof-minibuffer-cmd to insert current region.
David Aspinall
2000-05-30
*
Favourites mechanism now fully implemented, I hope.
David Aspinall
2000-05-29
*
Set version tag for new release.
David Aspinall
2000-05-29
*
Docstring
David Aspinall
2000-05-29
*
Tweak font lock exprs enough for Example.thy
David Aspinall
2000-05-29
*
Font lock exprs for goals buffer like those in Isabelle
David Aspinall
2000-05-29
*
Set settings format function before calculating initial command. Add hilit f...
David Aspinall
2000-05-29
*
Remove isar-markup-ml from here
David Aspinall
2000-05-29
*
Use generic default setting mechanism now. Add isar-markup-ml here.
David Aspinall
2000-05-29
*
Add -*- isar -*- tag to force mode, and comment to explain.
David Aspinall
2000-05-29
*
Updated
David Aspinall
2000-05-29
*
Added new parsing mechanism. Began removing proof-terminal-string.
David Aspinall
2000-05-29
*
Removed use of proof-terminal-string, added explicit terminators everywhere.
David Aspinall
2000-05-29
*
Updated
David Aspinall
2000-05-29
*
Updated for announcement.
David Aspinall
2000-05-29
*
Updated with new keybindings for Coq, Lego.
David Aspinall
2000-05-29
*
Changed keybindings for lego specific functions
David Aspinall
2000-05-29
*
Changed keybindings for coq specific functions
David Aspinall
2000-05-29
*
Generalized proof assistant settings mechanism
David Aspinall
2000-05-29
*
Add explicit terminators to commands. Generalized isabelle-set-default-cmd.
David Aspinall
2000-05-29
*
Additions to font lock on output
David Aspinall
2000-05-29
*
Updated
David Aspinall
2000-05-29
*
Don\'t wait for ever if process dies on startup
David Aspinall
2000-05-29
*
Generalized proof-format to allow sexps in replacement.
David Aspinall
2000-05-29
*
Missing parenthesis
David Aspinall
2000-05-29
*
Added functions for defining string and integer setters, for proof assistant ...
David Aspinall
2000-05-29
*
New stuff for making proof assistant settings.
David Aspinall
2000-05-29
*
Added configuration variables for proof assistant settings. Docstring for fa...
David Aspinall
2000-05-29
*
Added replace-string for FSF.
David Aspinall
2000-05-29
*
Fixed define-key calls. Set useful default for plastic prog name
David Aspinall
2000-05-29
*
Docstring.
David Aspinall
2000-05-26
*
proof-defass-default -> defpgdefault
David Aspinall
2000-05-26
*
Removed proof-script-indent check.
David Aspinall
2000-05-26
*
Update to use generic option indent-line, and switch inside
David Aspinall
2000-05-26
*
Switch to using per-prover generic option for x-symbol-enable.
David Aspinall
2000-05-26
*
Binding for complete.
David Aspinall
2000-05-26
*
Macros for generic custom settings from proof-config.
David Aspinall
2000-05-26
*
Rename proof-defass-custom -> defpgcustom.
David Aspinall
2000-05-26
*
fixed error in test.lf
Paul Callaghan
2000-05-26
*
Moved compatibility code into proof-compat.el
David Aspinall
2000-05-26
*
Only extend the load path if necessary
David Aspinall
2000-05-26
*
Comments, still nothing here.
David Aspinall
2000-05-26
*
Clean also deletes CVS temporaries (naughty, should be in devel.clean really)
David Aspinall
2000-05-26
*
Updated
David Aspinall
2000-05-26
*
Updated magic
David Aspinall
2000-05-26
*
Attempt to quote @ (failed, dunno why)
David Aspinall
2000-05-26
*
isar-any-command-regexp;
Makarius Wenzel
2000-05-26
[prev]
[next]