proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Added process-live-p	David Aspinall	2000-05-30
\|
*	Added proof-script-command-start-regexp. Updated docstrings to reflect that ↵	David Aspinall	2000-05-30
\| \| \| \|	proof-terminal-char no longer appended to commands.
*	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 ↵	David Aspinall	2000-05-29
\| \| \| \|	for goals buffer
*	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
\| \| \| \|	settings.
*	New stuff for making proof assistant settings.	David Aspinall	2000-05-29
\|
*	Added configuration variables for proof assistant settings. Docstring for ↵	David Aspinall	2000-05-29
\| \| \| \|	favourites.
*	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
\| \| \| \|	function rather than mode (so can be turned on/off easily).
*	Switch to using per-prover generic option for x-symbol-enable.	David Aspinall	2000-05-26
\|
*	Binding for complete.	David Aspinall	2000-05-26
\| \| \| \|	Proper toggler use for generic option x symbol enable.
*	Macros for generic custom settings from proof-config.	David Aspinall	2000-05-26
\| \| \| \| \|	Made proof-set-value work with generic settings as well as global ones, hacking a name for a generic function.
*	Rename proof-defass-custom -> defpgcustom.	David Aspinall	2000-05-26
\| \| \| \| \| \| \| \|	Moved macros for generic custom settings to proof-utils. Made proof-x-symbol-enable be generic (isa-x-symbol-enable, etc). Ditto proof-script-indent. Added proof-shell-pre-sync-init-cmd Added PA-completion-table, PA-tags-program.
*	fixed error in test.lf	Paul Callaghan	2000-05-26
\| \| \| \|	fixed conflict in plastic.el
*	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
\|