proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Make shell and perl scripts executable.	Erik Martin-Dorel	2016-09-19
\| \| \| \|	This addresses part of the issues pointed out in #112
*	added option -f FONT;	Makarius Wenzel	2011-01-27
\|
*	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";
*	Isabelle2008 compatibility;	Makarius Wenzel	2009-09-02
\|
*	less ambitious array operations -- for improved compatibility with older ↵	Makarius Wenzel	2009-08-22
\| \| \| \|	versions of bash;
*	ISABELLE_TOOL refers to "isabelle" tool wrapper;	Makarius Wenzel	2009-07-29
\| \| \| \|	ISABELLE_PROCESS refers to "isabelle-process";
*	more robust treatment of options and arguments (via arrays and special @ ↵	Makarius Wenzel	2009-05-30
\| \| \| \|	expansion) -- allows spaces within parameters;
*	accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;	Makarius Wenzel	2008-02-06
\|
*	fixed usage: default for option -p is emacs, not xemacs;	Makarius Wenzel	2008-01-25
\|
*	Default to using emacs now	David Aspinall	2008-01-15
\|
*	clarify that -U now defaults to true;	Makarius Wenzel	2007-11-20
\|
*	removed obsolete references to 'isa';	Makarius Wenzel	2006-12-07
\|
*	back to xemacs as default;	Makarius Wenzel	2005-09-21
\|
*	added option -U: Unicode (UTF-8) communication;	Makarius Wenzel	2005-09-14
\|
*	prefer emacs over xemacs, which rarely works out of the box;	Makarius Wenzel	2005-08-30
\|
*	tuned;	Makarius Wenzel	2005-07-19
\|
*	use physical path;	Makarius Wenzel	2005-05-31
\|
*	added -L option;	Makarius Wenzel	2005-05-17
\| \| \| \|	tuned;
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-02-15
\|
*	Prevent setting WM title so Emacs can do its own thing	David Aspinall	2004-04-15
\|
*	option -g GEOMETRY;	Makarius Wenzel	2002-02-12
\|
*	incorporate smart X11 font installation (used to be in isatool installfonts);	Makarius Wenzel	2001-12-12
\|
*	option -k for logic specific isar-keywords file;	Makarius Wenzel	2001-11-13
\|
*	tuned usage;	Makarius Wenzel	2001-09-06
\|
*	added option -P: actually start Proof General (default true);	Makarius Wenzel	2001-09-04
\|
*	handle relative heap paths gracefully;	Makarius Wenzel	2001-08-31
\|
*	include ISABELLE_HOME_USER/etc/isar-keywords.el or	Makarius Wenzel	2001-08-30
\| \| \| \|	ISABELLE_HOME/etc/isar-keywords.el if available;
*	added -m option;	Makarius Wenzel	2000-12-01
\|
*	disable trace option;	Makarius Wenzel	2000-11-22
\|
*	converted from sh back to bash;	Makarius Wenzel	2000-11-21
\| \| \| \| \|	use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
*	use plain /bin/sh instead of bash;	Makarius Wenzel	2000-09-21
\|
*	added -X option;	Makarius Wenzel	2000-09-20
\|
*	installfonts only when using X window system;	Makarius Wenzel	2000-09-19
\|
*	isa: DEFAULT_FILES="Scratch.thy Scratch.ML";	Makarius Wenzel	2000-09-19
\|
*	-I option for Isar vs. classic Isabelle mode;	Makarius Wenzel	2000-09-17
\| \| \| \|	tuned;
*	isatool installfonts (for remote X-Symbol fonts);	Makarius Wenzel	2000-09-15
\|
*	more quoting;	Makarius Wenzel	2000-09-02
\|
*	-w false implies -x false;	Makarius Wenzel	2000-08-28
\| \| \| \|	do not load proof-site.el here;
*	re-use isa/interface-setup.el rather than separate isar version;	Makarius Wenzel	2000-05-17
\|
*	option -x: enable x-symbol package;	Makarius Wenzel	2000-02-11
\|
*	let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;	Makarius Wenzel	1999-10-15
\|
*	usage: tell PROOFGENERAL_OPTIONS;	Makarius Wenzel	1999-09-03
\| \| \| \|	-u true by default;
*	replaced 'ProofGeneral' by 'Proof General';	Makarius Wenzel	1999-08-18
\|
*	tuned usage;	Makarius Wenzel	1999-05-23
\| \| \| \|	do not append '/' to PROOFGENERAL_HOME;
*	initial version of 'isar proof assistant (Isabelle/Isar);	Makarius Wenzel	1999-04-16