proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Deleted files.	David Aspinall	1999-06-24
\|
*	Change of image	David Aspinall	1999-06-24
\|
*	Replaces .eps file	David Aspinall	1999-06-24
\|
*	Updates	David Aspinall	1999-06-24
\|
*	Deleted files.	David Aspinall	1999-06-24
\|
*	Hints Resolve	Patrick Loiseleur	1999-06-21
\|
*	unkillable buffer bugfix	Patrick Loiseleur	1999-06-21
\|
*	New front page image. Updated magic.	David Aspinall	1999-06-18
\|
*	Docstring	David Aspinall	1999-06-18
\|
*	tactics-name-face	Patrick Loiseleur	1999-06-18
\|
*	better syntax	Patrick Loiseleur	1999-06-16
\|
*	Removed proof shell kill bug	David Aspinall	1999-06-15
\|
*	List of authors/maintainers.	David Aspinall	1999-06-15
\|
*	Docstring fixes.	David Aspinall	1999-06-15
\|
*	Fixes for XEmacs 21.1	David Aspinall	1999-06-15
\|
*	Bugfixes in proof-shell-exit and proof-shell-kill-function	Patrick Loiseleur	1999-06-14
\|
*	Added proof-tactics-name-face	Patrick Loiseleur	1999-06-14
\|
*	Added coq-begin-Section and coq-end-Section	Patrick Loiseleur	1999-06-14
\|
*	Various updates. coq-end-Section now works properly.	Patrick Loiseleur	1999-06-14
\|
*	More colors, more regexps, more keywords	Patrick Loiseleur	1999-06-09
\|
*	various fixes	Patrick Loiseleur	1999-06-08
\|
*	* empty log message *	Patrick Loiseleur	1999-06-08
\|
*	Dont include plastic/isar in main distribution.	David Aspinall	1999-06-07
\|
*	Mention Plastic and Isar	David Aspinall	1999-06-07
\|
*	Patched patch for updated proof-site.el	David Aspinall	1999-06-07
\|
*	Added todo for XEmacs packaging, reordered.	David Aspinall	1999-06-07
\|
*	Patched patch for updated proof-site.el	David Aspinall	1999-06-07
\|
*	Comments	David Aspinall	1999-06-07
\|
*	Cleaned up docstrings	David Aspinall	1999-06-07
\|
*	Set version tag for new release.	proofgen	1999-06-07
\|
*	Downrated Poly/ML related item since Poly is defunct.	David Aspinall	1999-06-07
\|
*	updated;	Makarius Wenzel	1999-06-04
\|
*	oops;	Makarius Wenzel	1999-05-27
\|
*	removed junk;	Makarius Wenzel	1999-05-27
\|
*	provide proof-string-start-regexp, proof-string-end-regexp;	Makarius Wenzel	1999-05-27
\| \| \| \| \| \| \| \|	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);
*	renamed undos to undos_proof;	Makarius Wenzel	1999-05-27
\|
*	be chatty;	Makarius Wenzel	1999-05-27
\|
*	proof-parse-to-point improved to support proof-string-start-regexp,	Makarius Wenzel	1999-05-27
\| \| \| \| \| \| \|	proof-string-end-regexp, proof-comment-end, proof-comment-start, and parentheses according to current syntax table; renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing);
*	renamed proof-commands-regexp to proof-indent-commands-regexp, which	Makarius Wenzel	1999-05-27
\| \| \| \|	is less confusing);
*	improved proof-segment-up-to to support proof-string-start-regexp,	Makarius Wenzel	1999-05-27
\| \| \| \|	proof-string-end-regexp;
*	added proof-string-start-regexp, proof-string-end-regexp;	Makarius Wenzel	1999-05-27
\|
*	proper setup for indentation;	Makarius Wenzel	1999-05-26
\| \| \| \|	improved cannot-undo;
*	tuned keywords;	Makarius Wenzel	1999-05-26
\|
*	added isar-keywords-qed-block;	Makarius Wenzel	1999-05-26
\|
*	fixed bug in proof-parse-to-point: missing (setq stack ...) in case of	Makarius Wenzel	1999-05-26
\| \| \| \|	closing a proof command;
*	closed string in comment;	Makarius Wenzel	1999-05-26
\|
*	more examples;	Makarius Wenzel	1999-05-25
\|
*	removed superficial space;	Makarius Wenzel	1999-05-25
\|
*	added proof-really-save-command-p to support	Makarius Wenzel	1999-05-25
\| \| \| \|	more general qed schemes, such as Isabelle/Isar's nested proofs;
*	proof-done-advancing: added proof-really-save-command-p to support	Makarius Wenzel	1999-05-25
\| \| \| \|	more general qed schemes, such as Isabelle/Isar's nested proofs;