proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-08-19	based on Pure rather than Main (which didn't work because of Pure/CPure clash);	Makarius Wenzel

1999-08-19	Set version tag for new release.	David Aspinall

1999-08-19	Adjustments to remove .eps picture from front	David Aspinall

1999-08-19	Instructions for docs	David Aspinall

1999-08-19	Removed .eps.gz file from distrib to make it much smaller	David Aspinall

1999-08-19	Date change	David Aspinall

1999-08-18	tuned;	Makarius Wenzel

1999-08-18	proof-shell-start-goals-regexp: include \n;	Makarius Wenzel
	isa-init-syntax-table moved to isa-syntax.el; improved isa-update-thy-only;
1999-08-18	isa-init-syntax-table moved here from isa.el;	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-18	obsolete;	Makarius Wenzel

1999-08-17	Web page todo for smaller screens.	David Aspinall

1999-08-17	Mention mailing list	David Aspinall

1999-08-17	Mention developers mailing list	David Aspinall

1999-08-17	Mail to majordomo, not da	David Aspinall

1999-08-17	Updated for web pages, now only low-priority.	David Aspinall

1999-08-17	HTML tweaks	David Aspinall

1999-08-17	Set version tag for new release.	David Aspinall

1999-08-16	obsolete, use Isabelle's native ProofGeneral.init instead;	Makarius Wenzel

1999-08-16	proof-shell-first-special-char ?\350;	Makarius Wenzel
	tuned prompt; deactivated "No subgoals!"; use Isabelle's native ProofGeneral.init; proper setup for theory loader actions: better handling of multiple buffers; isa-find-and-forget does nothing;
1999-08-16	disable_pr, enable_pr;	Makarius Wenzel

1999-08-06	tuned;	Makarius Wenzel

1999-08-06	ProofGeneral interface wrapper for Isabelle/classic	Makarius Wenzel

1999-08-03	updated;	Makarius Wenzel

1999-07-29	Test files for multiple file handling with Isabelle/Isar;	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	please ignore (back to 2.15);	Makarius Wenzel

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

1999-07-22	Added prereltag.txt and extra link for latest srpm.	David Aspinall

1999-07-22	Set version tag for new release.	David Aspinall

1999-07-22	Updated	David Aspinall

1999-07-22	Downgraded Isabelle version to 98-1 again	David Aspinall

1999-07-22	Reverted change to Inferior buffer's name, it fails on simple	David Aspinall
	case of proof-prog-name="isabelle", for example.
1999-07-22	removed 'break';	Makarius Wenzel

1999-07-16	Set version tag for new release.	David Aspinall

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-08	(goto-char (point-min)) rather than (proof-goto-end-of-locked);	Makarius Wenzel

1999-07-07	Set version tag for new release.	David Aspinall

1999-07-06	removed prev, up, top;	Makarius Wenzel