proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2002-02-12	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-08	more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;	Makarius Wenzel

2002-01-26	tuned comment;	Makarius Wenzel

2002-01-21	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel

2002-01-16	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

2001-12-27	tuned;	Makarius Wenzel

2001-12-27	updated;	Makarius Wenzel

2001-12-21	do not set proof-shell-quit-cmd (admits persistent sessions);	Makarius Wenzel

2001-12-12	incorporate smart X11 font installation (used to be in isatool installfonts);	Makarius Wenzel

2001-12-05	activate proof-shell-spill-output-regexp;	Makarius Wenzel

2001-12-04	isar specific commands for bold/sup/sub;	Makarius Wenzel

2001-11-24	proof-shell-spill-output-regexp temporarily disabled;	Makarius Wenzel

2001-11-20	set proof-shell-spill-output-regexp;	Makarius Wenzel
	isar-activate-scripting: proof-syn-cd (why is this here needed?);
2001-11-13	option -k for logic specific isar-keywords file;	Makarius Wenzel

2001-11-07	updated isar-goals-font-lock-keywords;	Makarius Wenzel

2001-10-13	isar-goals-font-lock-keywords: more general goal pattern;	Makarius Wenzel

2001-10-04	added isar-help-induct-rules;	Makarius Wenzel

2001-09-10	isar-goals-font-lock-keywords: corollary;	Makarius Wenzel

2001-09-06	tuned usage;	Makarius Wenzel

2001-09-04	tuned proof text;	Makarius Wenzel
	added script version;
2001-09-04	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-03	Set proof-goal-with-hole-regexp	David Aspinall

2001-09-03	Add specific install instrs, rearrange.	David Aspinall

2001-08-31	handle relative heap paths gracefully;	Makarius Wenzel

2001-08-31	back to official Isabelle99-2 (later Isabelle dists will provide	Makarius Wenzel
	their own copy of this file);
2001-08-31	new commands (proof terms, code generator);	Makarius Wenzel

2001-08-30	include ISABELLE_HOME_USER/etc/isar-keywords.el or	Makarius Wenzel
	ISABELLE_HOME/etc/isar-keywords.el if available;
2001-08-30	updated;	Makarius Wenzel

2001-08-30	proof-script-integral-proofs t;	Makarius Wenzel

2001-08-28	Change of proof span type back to goalsave	David Aspinall

2001-08-10	Change buffer-syntactic-context -> proof-buffer-syntactic-context	David Aspinall

2001-05-18	preliminary addition of "corollary";	Makarius Wenzel

2001-01-18	proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;	Makarius Wenzel

2001-01-12	proof-string-match;	Makarius Wenzel

2001-01-10	proper font-lock of isar-keywords-proof-heading;	Makarius Wenzel

2001-01-03	added "recdef_tc";	Makarius Wenzel

2000-12-28	include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;	Makarius Wenzel
	more robust \<^sync>;
2000-12-28	improved isar-string regexp;	Makarius Wenzel

2000-12-23	tuned font lock;	Makarius Wenzel

2000-12-20	goalsave -> proof	David Aspinall

2000-12-06	tuned font-lock-keywords;	Makarius Wenzel

2000-12-01	added -m option;	Makarius Wenzel

2000-11-22	disable trace option;	Makarius Wenzel

2000-11-21	converted from sh back to bash;	Makarius Wenzel
	use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;