proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Set version tag for new release.	proofgen	1999-06-24
\|
*	Change of image	David Aspinall	1999-06-24
\|
*	unkillable buffer bugfix	Patrick Loiseleur	1999-06-21
\|
*	Docstring	David Aspinall	1999-06-18
\|
*	tactics-name-face	Patrick Loiseleur	1999-06-18
\|
*	Docstring fixes.	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
\|
*	* empty log message *	Patrick Loiseleur	1999-06-08
\|
*	Cleaned up docstrings	David Aspinall	1999-06-07
\|
*	Set version tag for new release.	proofgen	1999-06-07
\|
*	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
\|
*	fixed bug in proof-parse-to-point: missing (setq stack ...) in case of	Makarius Wenzel	1999-05-26
\| \| \| \|	closing a proof command;
*	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;
*	I've added the custom option 'prog-name-guess' in the generic part and	Patrick Loiseleur	1999-05-17
\| \| \| \| \| \| \| \| \|	the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick
*	added proof system "plastic", triggered by a .lf extension	Paul Callaghan	1999-05-11
\|
*	Add toggle for proof toolbar to menu	David Aspinall	1999-05-11
\|
*	* empty log message *	Patrick Loiseleur	1999-05-03
\|
*	proof-home-directory is correct even if $PROOFGENERAL_HOME does not	Patrick Loiseleur	1999-05-03
\| \| \| \| \|	end with a slash. Moreover, the closure proof-home-directory-fn is added so that this value is not computed at compilation time.
*	added 'isar proof assistant;	Makarius Wenzel	1999-04-16
\|
*	Set version tag for new release.	proofgen	1999-04-07
\|
*	Idea for proof-auto-retract, notes about proof-strict-read-only	David Aspinall	1999-03-08
\|
*	Set version tag for new release.	David Aspinall	1999-02-22
\|
*	Docstring	David Aspinall	1999-02-22
\|
*	Added hack to fix nested @samp @var problem.	David Aspinall	1999-02-22
\|
*	Added PROOFGENERAL_ASSISTANTS. proof-site should not need to be edited.	David Aspinall	1999-02-22
\|
*	Fixed bug by shifting configuration of minor mode for active terminator.	David Aspinall	1999-02-22
\|
*	Set version tag for new release.	David Aspinall	1999-02-01
\|
*	Improved docstring	David Aspinall	1999-02-01
\|
*	Used proof-string-match for matching against proof script.	David Aspinall	1999-02-01
\|
*	Added proof-string-match	David Aspinall	1999-02-01
\|
*	Added proof-case-fold-search	David Aspinall	1999-02-01
\|
*	Set version tag for new release.	David Aspinall	1999-01-15
\|
*	Experimental bug fix for Solaris problem	David Aspinall	1999-01-15
\|
*	Set version tag for new release.	David Aspinall	1999-01-12
\|
*	Missing bracket.	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-18
\|
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
\|
*	Added proof-assistant-symbol	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Updated docstring.	David Aspinall	1998-12-17
\|
*	Removed a todo. This version submitted for Texinfo.	David Aspinall	1998-12-17
\|
*	Newline after first sentence. Submitted for Texinfo distribution.	David Aspinall	1998-12-17
\|