proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-08-20	Updated prover versions	David Aspinall

1999-08-20	Mentioned zermelo as temporary server	David Aspinall

1999-08-20	Mentioned latest bugs reported by Munchen correspondents	David Aspinall

1999-08-20	Disabled binder regexp font locking	David Aspinall

1999-08-20	proof-goto-end-of-locked-if-pos-not-visible-in-window:	David Aspinall
	Check that there is active scripting buffer, in Isabelle there might not be.
1999-08-20	updated.	David Aspinall

1999-08-20	Date updated.	David Aspinall

1999-08-20	Tweaks for 2.1 release	David Aspinall

1999-08-20	Fix for process kill timeout bug.	David Aspinall

1999-08-20	Changes for PG 2.1	David Aspinall

1999-08-20	Improvement for C-c C-o mentioned	David Aspinall

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

1999-08-20	eliminated superficial ';'s;	Makarius Wenzel

1999-08-20	prefer proof-shell-interrupt-regexp over proof-shell-error-regexp	Makarius Wenzel
	(interrupts may appear like error messages in Isabelle/Isar);
1999-08-20	print_context;	Makarius Wenzel
	fixed proof-shell-interrupt-regexp;
1999-08-20	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-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