proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	Thomas Kleymann	1998-10-30
\|
*	More notes	David Aspinall	1998-10-29
\|
*	Set version tag for new release.	David Aspinall	1998-10-29
\|
*	Ran tests for Isabelle. Added another test case.	David Aspinall	1998-10-29
\|
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Added new case of retracting across file boundaries to a buffer with	Thomas Kleymann	1998-10-23
\| \| \| \|	more than on ACS. Also improved presentation.
*	no futher instructions in share-site-startup needed	Thomas Kleymann	1998-10-23
\|
*	Set version tag for new release.	Thomas Kleymann	1998-10-22
\|
*	modified local installation procedure	Thomas Kleymann	1998-10-21
\|
*	Set version tag for new release.	David Aspinall	1998-10-20
\|
*	Miscellaneous notes (how to create screen dump)	David Aspinall	1998-10-20
\|
*	Filename comment	David Aspinall	1998-10-20
\|
*	support environmental variable PROOFGENERAL	Thomas Kleymann	1998-10-19
\|
*	Test files for handling multiple files with Isabelle	David Aspinall	1998-10-19
\|
*	Description of dir contents	David Aspinall	1998-10-19
\|
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
\|
*	* empty log message *	Thomas Kleymann	1998-10-18
\|
*	Set version tag for new release.	David Aspinall	1998-10-15
\|
*	Set version tag for release.	David Aspinall	1998-10-14
\|
*	Updated to posted version	David Aspinall	1998-10-13
\|
*	Set version tag for release.	David Aspinall	1998-10-13
\|
*	Set version tag for release.	David Aspinall	1998-10-12
\|
*	Better summary line	David Aspinall	1998-10-08
\|
*	Added fixup to specfile because dcs.ed has old RPM installed.	David Aspinall	1998-10-08
\|
*	Set version tag for release.	David Aspinall	1998-10-08
\|
*	removed bra-types and uitp from pre-release message	Thomas Kleymann	1998-10-08
\|
*	Moved from /usr/lib to /usr/share	David Aspinall	1998-10-08
\|
*	Still bad ('cos release is -kv), removed $ from patch.	David Aspinall	1998-10-07
\|
*	Updated for new proof-site.el	David Aspinall	1998-10-07
\|
*	put isabelle-users address in alphabetic order	Thomas Kleymann	1998-10-02
\|
*	Added isabelle-users, mentioned toolbar.	David Aspinall	1998-10-02
\|
*	draft for first pre-release	Thomas Kleymann	1998-10-02
\|
*	Fixed for new header in coqtags.	David Aspinall	1998-10-01
\|
*	Removed troublesome $Id$ header from .patch file: was getting	David Aspinall	1998-10-01
\| \| \| \|	expanded by cvs! Really this file should be marked as "binary."
*	Adjusted for older rpm	David Aspinall	1998-10-01
\|
*	Updated for new path in coqtags	David Aspinall	1998-10-01
\|
*	Moved info file and binaries to proper places.	David Aspinall	1998-09-24
\|
*	Moved to /usr/lib/emacs	David Aspinall	1998-09-24
\|
*	Added %clean	David Aspinall	1998-09-24
\|
*	Removed .orig files after patch	David Aspinall	1998-09-24
\|
*	For building nice package on Linux.	David Aspinall	1998-09-24