proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Removed transparent gif from splash screen because XEmacs can't	David Aspinall	1999-09-13
\| \| \| \|	display it nicely.
*	docstring improvements for proof-guess-command-name	David Aspinall	1999-09-13
\|
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	Fix so that buffer names are shorter (esp for Coq).	David Aspinall	1999-09-13
\| \| \| \|	A fixed version of Patrick's earlier patch.
*	tuned x-symbol setup (DvO);	Makarius Wenzel	1999-09-09
\|
*	da: improved comment;	Makarius Wenzel	1999-09-03
\|
*	Set version tag for new release.	David Aspinall	1999-08-27
\|
*	Set version tag for new release.	David Aspinall	1999-08-24
\|
*	Attempted fix of FSFmacs problem, left as comment	David Aspinall	1999-08-24
\|
*	Docstring	David Aspinall	1999-08-24
\|
*	FIXME to add menu to goals buffer, to match response buffer menu.	David Aspinall	1999-08-23
\|
*	Disable properly if x-symbol is not available.	David Aspinall	1999-08-23
\|
*	Integrated patch from David von Oheimb.	David Aspinall	1999-08-23
\|
*	Fix for toolbar disable for FSF Emacs.	David Aspinall	1999-08-23
\|
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
\|
*	proof-goto-end-of-locked-if-pos-not-visible-in-window:	David Aspinall	1999-08-20
\| \| \| \|	Check that there is active scripting buffer, in Isabelle there might not be.
*	Fix for process kill timeout bug.	David Aspinall	1999-08-20
\|
*	Set version tag for new release.	David Aspinall	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);
*	Fix for XEmacs 21	David Aspinall	1999-08-20
\|
*	Set version tag for new release.	David Aspinall	1999-08-19
\|
*	Set version tag for new release.	David Aspinall	1999-08-17
\|
*	Set version tag for new release.	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.
*	Set version tag for new release.	David Aspinall	1999-07-16
\|
*	(goto-char (point-min)) rather than (proof-goto-end-of-locked);	Makarius Wenzel	1999-07-08
\|
*	Set version tag for new release.	David Aspinall	1999-07-07
\|
*	Set version tag for new release.	David Aspinall	1999-07-03
\|
*	fixed some regexp via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
\|
*	Set version tag for new release.	David Aspinall	1999-07-02
\|
*	Set version tag for new release.	David Aspinall	1999-07-01
\|
*	Set version tag for new release.	David Aspinall	1999-06-30
\|
*	Set version tag for new release.	David Aspinall	1999-06-28
\|
*	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
\|