proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	brute-force method to enable tool-bar-mode, which is especially important on ↵	Makarius Wenzel	2011-09-17
\| \| \| \|	GNU Emacs for Mac OS X (change was already present in Isabelle2011);
*	more robust THIS/SUPER: allow spaces;	Makarius Wenzel	2009-11-21
\| \| \| \| \|	modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols";
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	back again for isar;	Makarius Wenzel	2006-12-07
\|
*	re-use isa/interface-setup.el rather than separate isar version;	Makarius Wenzel	2000-05-17
\|
*	Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el	David Aspinall	2000-05-16
\|
*	option -x: enable x-symbol package;	Makarius Wenzel	2000-02-11
\|
*	setup proof-shell-pre-interrupt-hook for Poly/ML;	Makarius Wenzel	2000-02-10
\|
*	let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;	Makarius Wenzel	1999-10-15
\|
*	please ignore (back to 1.1);	Makarius Wenzel	1999-07-24
\|
*	* empty log message *	Makarius Wenzel	1999-07-24
\|
*	initial version of 'isar proof assistant (Isabelle/Isar);	Makarius Wenzel	1999-04-16