proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵	David Aspinall	2002-06-08
\| \| \| \|	before?
*	Program [broken]	David Aspinall	2002-06-08
\|
*	Add types_code and friends	David Aspinall	2002-06-05
\|
*	tuned isar-strip-terminators;	Makarius Wenzel	2002-05-10
\|
*	tuned comment;	Makarius Wenzel	2002-05-03
\|
*	tuned proof-next-error setup;	Makarius Wenzel	2002-05-03
\|
*	Added support for proof-shell-next-error	David Aspinall	2002-05-03
\|
*	Add support for proof-next-error.	David Aspinall	2002-05-03
\|
*	option -g GEOMETRY;	Makarius Wenzel	2002-02-12
\|
*	observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;	Makarius Wenzel	2002-02-12
\|
*	added isar-undo-ignore-regexp;	Makarius Wenzel	2002-02-12
\|
*	more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;	Makarius Wenzel	2002-02-08
\|
*	tuned comment;	Makarius Wenzel	2002-01-26
\|
*	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\|
*	Whitespace	David Aspinall	2002-01-16
\|
*	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	tuned;	Makarius Wenzel	2001-12-27
\|
*	updated;	Makarius Wenzel	2001-12-27
\|
*	do not set proof-shell-quit-cmd (admits persistent sessions);	Makarius Wenzel	2001-12-21
\|
*	incorporate smart X11 font installation (used to be in isatool installfonts);	Makarius Wenzel	2001-12-12
\|
*	activate proof-shell-spill-output-regexp;	Makarius Wenzel	2001-12-05
\|
*	isar specific commands for bold/sup/sub;	Makarius Wenzel	2001-12-04
\|
*	proof-shell-spill-output-regexp temporarily disabled;	Makarius Wenzel	2001-11-24
\|
*	set proof-shell-spill-output-regexp;	Makarius Wenzel	2001-11-20
\| \| \| \|	isar-activate-scripting: proof-syn-cd (why is this here needed?);
*	option -k for logic specific isar-keywords file;	Makarius Wenzel	2001-11-13
\|
*	updated isar-goals-font-lock-keywords;	Makarius Wenzel	2001-11-07
\|
*	isar-goals-font-lock-keywords: more general goal pattern;	Makarius Wenzel	2001-10-13
\|
*	added isar-help-induct-rules;	Makarius Wenzel	2001-10-04
\|
*	isar-goals-font-lock-keywords: corollary;	Makarius Wenzel	2001-09-10
\|
*	tuned usage;	Makarius Wenzel	2001-09-06
\|
*	tuned proof text;	Makarius Wenzel	2001-09-04
\| \| \| \|	added script version;
*	added option -P: actually start Proof General (default true);	Makarius Wenzel	2001-09-04
\|
*	tuned;	Makarius Wenzel	2001-09-04
\|
*	no need to adjust the path to bash on the first line (due to /usr/bin/env);	Makarius Wenzel	2001-09-04
\|
*	Set proof-goal-with-hole-regexp	David Aspinall	2001-09-03
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	handle relative heap paths gracefully;	Makarius Wenzel	2001-08-31
\|
*	back to official Isabelle99-2 (later Isabelle dists will provide	Makarius Wenzel	2001-08-31
\| \| \| \|	their own copy of this file);
*	new commands (proof terms, code generator);	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;
*	updated;	Makarius Wenzel	2001-08-30
\|
*	proof-script-integral-proofs t;	Makarius Wenzel	2001-08-30
\|
*	Change of proof span type back to goalsave	David Aspinall	2001-08-28
\|
*	Change buffer-syntactic-context -> proof-buffer-syntactic-context	David Aspinall	2001-08-10
\|
*	preliminary addition of "corollary";	Makarius Wenzel	2001-05-18
\|
*	proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;	Makarius Wenzel	2001-01-18
\|
*	proof-string-match;	Makarius Wenzel	2001-01-12
\|
*	proper font-lock of isar-keywords-proof-heading;	Makarius Wenzel	2001-01-10
\|
*	added "recdef_tc";	Makarius Wenzel	2001-01-03
\|