proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-06-04	updated;	Makarius Wenzel

1999-05-27	oops;	Makarius Wenzel

1999-05-27	removed junk;	Makarius Wenzel

1999-05-27	provide proof-string-start-regexp, proof-string-end-regexp;	Makarius Wenzel
	renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); improved undo / kill operations; tweaked syntax table to cope with (* ) (actual comment) and { *} (long string);
1999-05-27	renamed undos to undos_proof;	Makarius Wenzel

1999-05-27	be chatty;	Makarius Wenzel

1999-05-26	proper setup for indentation;	Makarius Wenzel
	improved cannot-undo;
1999-05-26	tuned keywords;	Makarius Wenzel

1999-05-26	added isar-keywords-qed-block;	Makarius Wenzel

1999-05-25	more examples;	Makarius Wenzel

1999-05-25	tuned;	Makarius Wenzel

1999-05-24	this version actually generated by Isabelle;	Makarius Wenzel

1999-05-23	replaced isar-keywords-section by isar-keywords-theory-heading;	Makarius Wenzel
	added isar-not-undoable-commands-regexp; improved isar-cound-undos; proper version of isar-find-and-forget (handles local qeds properly); improved character syntax classes;
1999-05-23	improved classification of keywords (see also isar-keywords.el);	Makarius Wenzel
	improved regexps and font-lock;
1999-05-23	Isabelle/Isar keyword classification (used to be in isar-syntax.el);	Makarius Wenzel

1999-05-23	tuned usage;	Makarius Wenzel
	do not append '/' to PROOFGENERAL_HOME;
1999-05-21	tuned;	Makarius Wenzel
	improved isar-find-and-forget;
1999-05-21	tuned -- still quite unsatisfactory;	Makarius Wenzel

1999-05-21	made part of the Isabelle sources;	Makarius Wenzel

1999-04-27	fixed proof-shell-quit-cmd;	Makarius Wenzel

1999-04-27	deactivated '.' and '..' keywords (tmp);	Makarius Wenzel

1999-04-23	added "thus", "hence";	Makarius Wenzel
	tuned "next";
1999-04-16	initial version of 'isar proof assistant (Isabelle/Isar);	Makarius Wenzel