proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Name of proof-shell-restart was changed.	David Aspinall	1998-12-11
\|
*	New file mentioning some test cases.	David Aspinall	1998-12-10
\|
*	Set version tag for new release.	David Aspinall	1998-12-07
\|
*	Set version tag for new release.	David Aspinall	1998-11-26
\|
*	Updated patch	David Aspinall	1998-11-25
\|
*	Set version tag for new release.	David Aspinall	1998-11-25
\|
*	Added mention of user documentation.	David Aspinall	1998-11-25
\|
*	Updated	David Aspinall	1998-11-25
\|
*	Emacs lovers become militant.	David Aspinall	1998-11-25
\|
*	Set version tag for new release.	David Aspinall	1998-11-20
\|
*	Changes for better testing	David Aspinall	1998-11-18
\|
*	Set version tag for new release.	David Aspinall	1998-11-10
\|
*	Changed text ready for 2.0 release	David Aspinall	1998-11-10
\|
*	Set version tag for new release.	David Aspinall	1998-11-04
\|
*	Fixed multiple file bug	David Aspinall	1998-11-03
\|
*	Set version tag for new release.	Thomas Kleymann	1998-11-03
\|
*	A* Fix display handling problems (tms, all week)	Thomas Kleymann	1998-11-03
\| \| \| \|	Done. :-)
*	Set version tag for new release.	Thomas Kleymann	1998-11-02
\|
*	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
\|