proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2006-12-05
\|
*	Deleted file	David Aspinall	2006-12-05
\|
*	Changed the type of proof-goal-command-p. It takes now a span, which	Pierre Courtieu	2006-04-26
\| \| \| \| \| \|	allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
*	support nested blocks of super/sub-script, but only the outermost level	Makarius Wenzel	2006-02-13
\| \| \| \|	is actually displayed as such -- by Clemens Ballarin;
*	added \<setminus>;	Makarius Wenzel	2006-01-05
\|
*	Remove proof-assistant-settings-cmd, now issued as standard.	David Aspinall	2005-09-30
\|
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
\|
*	negotiate PGASCII only for proof-shell-unicode;	Makarius Wenzel	2005-09-28
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	better terminate ML code;	Makarius Wenzel	2005-09-18
\|
*	removed (again) -- may use isar/interface -I false instead;	Makarius Wenzel	2005-09-17
\|
*	removed obsolete ML code;	Makarius Wenzel	2005-09-16
\|
*	oops -- proper customize-set-variable;	Makarius Wenzel	2005-09-14
\|
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\|
*	added -m PGASCII for Isabelle/Isar process;	Makarius Wenzel	2005-09-14
\|
*	observe PROOFGENERAL_UNICODE as passed by interface script;	Makarius Wenzel	2005-09-14
\|
*	added option -U: Unicode (UTF-8) communication;	Makarius Wenzel	2005-09-14
\|
*	do not include leading space in parameter to isatool doc, i.e.	Gerwin Klein	2005-09-02
\| \| \| \| \| \|	isatool doc "x" instead of isatool doc " x"
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\|
*	tuned ML code for manipulating print_mode;	Makarius Wenzel	2005-09-01
\|
*	tuned ML code for manipulating print_mode;	Makarius Wenzel	2005-09-01
\| \| \| \|	isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
*	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;
*	undeleted;	Makarius Wenzel	2005-05-10
\|
*	Deleted file	David Aspinall	2005-03-23
\|
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-03-23
\|
*	Repaired fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-07
\|
*	Include /usr/bin/isatool as a possibility	David Aspinall	2004-10-05
\|
*	Fix to `isa-shell-command-to-string' suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Set comment-quote-nested (for Emacs/XEmacs 21.5)	David Aspinall	2004-05-09
\|
*	Patch from Brother Makarius	David Aspinall	2004-05-06
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Fix isa-tool-list-docs for altered form of output from isatool doc	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Add automatic refresh of Logics menu	David Aspinall	2004-04-16
\|
*	Remove title setting	David Aspinall	2004-04-15
\|
*	Remove comment	David Aspinall	2004-04-15
\|
*	Set supported versions of Isabelle (remove 99, 2002 versions).	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Comment.	David Aspinall	2004-04-13
\|
*	Fix comment.	David Aspinall	2004-04-13
\|
*	Fix long-lived typo in setting auto-mode-alist.	David Aspinall	2004-04-13
\|
*	fixed single char sub/super script in goals/response window	Gerwin Klein	2004-04-05
\|
*	Comments	David Aspinall	2004-04-02
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>	Gerwin Klein	2003-12-29
\|
*	removed bold, no longer supported by x-symbol	Gerwin Klein	2003-12-23
\|