proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	eliminated superficial ';'s;	Makarius Wenzel	1999-08-20
\|
*	prefer proof-shell-interrupt-regexp over proof-shell-error-regexp	Makarius Wenzel	1999-08-20
\| \| \| \|	(interrupts may appear like error messages in Isabelle/Isar);
*	print_context;	Makarius Wenzel	1999-08-20
\| \| \| \|	fixed proof-shell-interrupt-regexp;
*	Added todo for pre 2.1 testing	David Aspinall	1999-08-20
\|
*	Default background colour for toolbar buttons added.	David Aspinall	1999-08-20
\|
*	update by DvO;	Makarius Wenzel	1999-08-20
\|
*	ignore file	David Aspinall	1999-08-20
\|
*	Fix for XEmacs 21	David Aspinall	1999-08-20
\|
*	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-19
\|
*	tuned;	Makarius Wenzel	1999-08-18
\|
*	proof-shell-start-goals-regexp: include \n;	Makarius Wenzel	1999-08-18
\| \| \| \| \|	isa-init-syntax-table moved to isa-syntax.el; improved isa-update-thy-only;
*	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-18
\|
*	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-17
\|
*	obsolete, use Isabelle's native ProofGeneral.init instead;	Makarius Wenzel	1999-08-16
\|
*	proof-shell-first-special-char ?\350;	Makarius Wenzel	1999-08-16
\| \| \| \| \| \| \| \|	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;
*	disable_pr, enable_pr;	Makarius Wenzel	1999-08-16
\|
*	tuned;	Makarius Wenzel	1999-08-06
\|
*	ProofGeneral interface wrapper for Isabelle/classic	Makarius Wenzel	1999-08-06
\|
*	updated;	Makarius Wenzel	1999-08-03
\|
*	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-29
\|
*	fixed proof-goal-command;	Makarius Wenzel	1999-07-28
\| \| \| \| \|	added isar-shell-adjust-line-width; tuned;
*	fixed Id;	Makarius Wenzel	1999-07-28
\|
*	pretty_setmargin;	Makarius Wenzel	1999-07-28
\|
*	isar-init-syntax-table now in isar-syntax.el;	Makarius Wenzel	1999-07-27
\| \| \| \| \| \| \|	variations on undo now in isar-syntax.el; proof-shell-restart-cmd: touch_all_thys; proper retract of theories; proper multiple buffer support;
*	isar-name-regexp: group result;	Makarius Wenzel	1999-07-27
\| \| \| \| \| \|	isar-init-syntax-table now in isar-syntax.el; variations on undo now in isar-syntax.el; added isar-remove;
*	updated;	Makarius Wenzel	1999-07-27
\|
*	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-24
\|
*	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	1999-07-22
\| \| \| \|	case of proof-prog-name="isabelle", for example.