proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Prefer emacs before xemacs now	David Aspinall	2007-03-12
\|
*	Fix PGHOMEDEFAULT	David Aspinall	2005-09-21
\|
*	Update year	David Aspinall	2005-08-10
\|
*	Typo	David Aspinall	2004-09-11
\|
*	Incorporate suggestions from Achim Brucker: fix LC_CTYPE, load .proofgeneral.	David Aspinall	2004-06-04
\|
*	Updated.	David Aspinall	2004-03-23
\|
*	Fix default location	David Aspinall	2004-03-01
\|
*	Set to wroking default	David Aspinall	2004-03-01
\|
*	Fix to relative path again	David Aspinall	2004-03-01
\|
*	Pass unrecognized options to Emacs	David Aspinall	2004-03-01
\|
*	Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.	David Aspinall	2004-02-29
\|
*	Add --emacs options	David Aspinall	2004-02-29
\|
*	Fix paths	David Aspinall	2004-02-28
\|
*	Robustify (add usage and version info)	David Aspinall	2004-02-28
\|
*	don't use -q argument to emacs	David Aspinall	2002-09-04
\|
*	Fix typo	David Aspinall	2002-08-29
\|
*	Observe EMACS environment variable	David Aspinall	2002-08-29
\|
*	Accidental update; revert to previous	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Call function which always waits to prevent odd mode selection bug.	David Aspinall	2001-08-28
\|
*	Run the display splash command	David Aspinall	2001-05-16
\|
*	Pass extra args to emacs.	David Aspinall	2000-10-02
\|
*	Script for launching proofgeneral.	David Aspinall	2000-09-29