proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Prevent proof-set-value until proof-config-loaded. (C) on splash screen.	David Aspinall	2000-05-09
\|
*	Comments.	David Aspinall	2000-05-09
\|
*	Removed autoloads, util functions.	David Aspinall	2000-05-09
\|
*	Added some functions for developers.	David Aspinall	2000-05-09
\|
*	Fixup branch	David Aspinall	2000-05-09
\|
*	Moved code to proof-menu.el	David Aspinall	2000-05-09
\|
*	Added proof-splice-separator.	David Aspinall	2000-05-09
\|
*	Splash screen now shown from autoloaded function.	David Aspinall	2000-05-09
\|
*	Remove use of cl. Add require on proof-autoloads.	David Aspinall	2000-05-09
\|
*	Improve loading	David Aspinall	2000-05-09
\|
*	Fixup branch	David Aspinall	2000-05-09
\|
*	New files	David Aspinall	2000-05-09
\|
*	Trivial.	David Aspinall	2000-05-09
\|
*	Updated 3.2 changes	David Aspinall	2000-05-09
\|