proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated	David Aspinall	2000-05-12
\|
*	Fixup menus a bit. Remove proof-prf on options change.	David Aspinall	2000-05-12
\|
*	Remove proof-assistant-menu-entries, done generically now.	David Aspinall	2000-05-12
\|
*	Modification of proof-shell-init-cmd. Markus, please help...	David Aspinall	2000-05-12
\|
*	Added proof-defassfun. Comments	David Aspinall	2000-05-12
\|
*	Use (proof-ass X) instead of function call.	David Aspinall	2000-05-12
\|
*	Several name changes isa- -> isabelle-, and made generic for Isar	David Aspinall	2000-05-12
\|
*	Comments	David Aspinall	2000-05-12
\|
*	Specific keys begin C-c C-a, not C-c a.	David Aspinall	2000-05-12
\|
*	Moved utility functions to proof-utils.	David Aspinall	2000-05-12
\|
*	Fix to menu definition.	David Aspinall	2000-05-12
\|
*	Fix to function name	David Aspinall	2000-05-12
\|
*	Fix note.	David Aspinall	2000-05-12
\|
*	Set version tag for new release.	David Aspinall	2000-05-11
\|
*	Explanatory comments	David Aspinall	2000-05-11
\|
*	Changes and compatibility fixes for specific menu/keybindings.	David Aspinall	2000-05-11
\|
*	Load isabelle-system file shared with Isabelle Proof General.	David Aspinall	2000-05-11
\| \| \| \| \|	Add default settings to proof-shell-init-cmd. Add Isabelle menu to menubar.
*	Generic help menu for Isabelle and Isabelle/Isar added.	David Aspinall	2000-05-11
\| \| \| \| \|	Generalized option settings mechanism. Added simplifier tracing flag.
*	Moved generic settings to isabelle-system.el. ↵	David Aspinall	2000-05-11
\| \| \| \|	isa-set-default-cmd->isabelle-set..
*	Changes and compatibility fixes for specific menu/keybindings.	David Aspinall	2000-05-11
\|
*	Updated	David Aspinall	2000-05-11
\|
*	Tidied page a bit	David Aspinall	2000-05-11
\|
*	Note abut ;;;###autoload not working for define-derived-mode.	David Aspinall	2000-05-11
\|
*	Use proof-deftoggle macro.	David Aspinall	2000-05-11
\| \| \| \| \|	Comments about failure for ;;;###autoload cookie for define-derived-mode Attempted fixes for C-x C-w, C-x C-v, revert-buffer.
*	Compatibility hack	David Aspinall	2000-05-11
\|
*	Use proof-deftoggle macro.	David Aspinall	2000-05-11
\|
*	Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.	David Aspinall	2000-05-11
\|
*	Extra arg to proof-splash-display-screen.	David Aspinall	2000-05-11
\|
*	Menus and code cleanup	David Aspinall	2000-05-11
\|
*	Removed duplicate declaration	David Aspinall	2000-05-11
\|
*	Extra arg to proof-splash-display-screen to serve as an About box.	David Aspinall	2000-05-11
\|
*	New mechanism for defining customization variables per-prover.	David Aspinall	2000-05-11
\|
*	X-Symbol funny chars question	David Aspinall	2000-05-11
\|
*	Fixup branch	David Aspinall	2000-05-11
\|
*	New file	David Aspinall	2000-05-11
\|
*	Updated	David Aspinall	2000-05-09
\|
*	Added browsable CVS.	David Aspinall	2000-05-09
\|
*	Note about desirable additions to Isabelle	David Aspinall	2000-05-09
\|
*	New goal.	David Aspinall	2000-05-09
\|
*	New setting on the way...	David Aspinall	2000-05-09
\|
*	Added question about saving options	David Aspinall	2000-05-09
\|
*	Set version tag for new release.	David Aspinall	2000-05-09
\|
*	Updated	David Aspinall	2000-05-09
\|
*	Updated	David Aspinall	2000-05-09
\|
*	Fixup menus.	David Aspinall	2000-05-09
\|
*	Fixup loading.	David Aspinall	2000-05-09
\|
*	New file	David Aspinall	2000-05-09
\|
*	New project (unlinked yet)	David Aspinall	2000-05-09
\|
*	Removed menus, keybinding. Removed compatibility hacks. Improved loading.	David Aspinall	2000-05-09
\|
*	Improved loading	David Aspinall	2000-05-09
\|