proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-10-07	proof-shell-cd: isar-verbatim no longer required;	Makarius Wenzel

1999-10-07	replaced "clear_undo" to "clear_undos";	Makarius Wenzel
	replaced "title" by "header"; added "verbatim", "verb";
1999-10-06	Made new command proof-cd to cd to the directory of the current	David Aspinall
	buffer. Added a version of it to proof-activate-scripting-hook. Removed cd from initialization sequence. Changed prover specifics accordingly.
1999-10-06	Fixed proof-showproof-command	David Aspinall

1999-10-01	isar-keywords-proof-asm-goal;	Makarius Wenzel

1999-10-01	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall

1999-09-30	replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;	Makarius Wenzel

1999-09-30	proof-find-theorems-command "thms_containing %s;";	Makarius Wenzel
	proof-shell-leave-annotations-in-output t; replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;
1999-09-26	added isar-verbatim;	Makarius Wenzel

1999-09-26	added thms_containing, ML_setup;	Makarius Wenzel

1999-09-25	proof-shell-proof-completed-regexp nil;	Makarius Wenzel

1999-09-24	Isabelle term / type hiliting;	Makarius Wenzel

1999-09-24	tuned;	Makarius Wenzel

1999-09-24	unified example with other proof assistants;	Makarius Wenzel

1999-09-21	lemma and_comms;	Makarius Wenzel

1999-09-03	proof-shell-restart-cmd: include welcome;	Makarius Wenzel

1999-09-03	usage: tell PROOFGENERAL_OPTIONS;	Makarius Wenzel
	-u true by default;
1999-08-29	fixed isar-find-and-forget (proper handling of multiple undos);	Makarius Wenzel

1999-08-29	tuned;	Makarius Wenzel

1999-08-24	isar-response-mode;	Makarius Wenzel

1999-08-24	some output syntax;	Makarius Wenzel

1999-08-23	font-lock-function-face -> font-lock-function-name-face	David Aspinall

1999-08-23	print_context;	Makarius Wenzel

1999-08-20	print_context;	Makarius Wenzel
	fixed proof-shell-interrupt-regexp;
1999-08-18	tuned;	Makarius Wenzel

1999-08-18	proof-shell-start-goals-regexp: include \n;	Makarius Wenzel

1999-08-18	deactivated isar-font-lock-terms (currently useless);	Makarius Wenzel

1999-08-18	replaced 'ProofGeneral' by 'Proof General';	Makarius Wenzel

1999-08-16	disable_pr, enable_pr;	Makarius Wenzel

1999-08-03	updated;	Makarius Wenzel

1999-07-29	removed obsolete stuff stemming from isa.el;	Makarius Wenzel

1999-07-28	fixed proof-goal-command;	Makarius Wenzel
	added isar-shell-adjust-line-width; tuned;
1999-07-28	fixed Id;	Makarius Wenzel

1999-07-28	pretty_setmargin;	Makarius Wenzel

1999-07-27	isar-init-syntax-table now in isar-syntax.el;	Makarius Wenzel
	variations on undo now in isar-syntax.el; proof-shell-restart-cmd: touch_all_thys; proper retract of theories; proper multiple buffer support;
1999-07-27	isar-name-regexp: group result;	Makarius Wenzel
	isar-init-syntax-table now in isar-syntax.el; variations on undo now in isar-syntax.el; added isar-remove;
1999-07-27	updated;	Makarius Wenzel

1999-07-24	please ignore (back to 1.1);	Makarius Wenzel

1999-07-24	* empty log message *	Makarius Wenzel

1999-07-22	removed 'break';	Makarius Wenzel

1999-07-09	added def;	Makarius Wenzel
	removed qed_with;
1999-07-08	added concl, thence;	Makarius Wenzel

1999-07-08	isar-stack-to-indent: indent according to (current-column) of open cmd;	Makarius Wenzel
	fixed isar-count-undos, isar-find-and-forget: proper handling of empty and diag commands;
1999-07-06	removed prev, up, top;	Makarius Wenzel

1999-07-02	fixed some regexps via proof-anchor-regexp;	Makarius Wenzel

1999-07-02	added "sorry" proof;	Makarius Wenzel

1999-07-02	"txt" keyword;	Makarius Wenzel

1999-07-01	isar-keywords-proof-asm;	Makarius Wenzel

1999-06-30	isar-preprocessing: sync markers;	Makarius Wenzel

1999-06-28	updated;	Makarius Wenzel