proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Copyright messages updated.	David Aspinall	1999-11-08
\|
*	Set version tag for new release.	David Aspinall	1999-11-02
\|
*	Set version tag for new release.	David Aspinall	1999-10-22
\|
*	Set version tag for new release.	David Aspinall	1999-10-21
\|
*	Set version tag for new release.	David Aspinall	1999-10-20
\|
*	Made proof-site only load once.	David Aspinall	1999-10-20
\|
*	let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;	Makarius Wenzel	1999-10-15
\|
*	Set version tag for new release.	David Aspinall	1999-10-14
\|
*	Set version tag for new release.	David Aspinall	1999-10-12
\|
*	Set version tag for new release.	David Aspinall	1999-10-07
\|
*	Set version tag for new release.	David Aspinall	1999-10-06
\|
*	Set version tag for new release.	David Aspinall	1999-10-06
\|
*	Set version tag for new release.	David Aspinall	1999-10-01
\|
*	Set version tag for new release.	David Aspinall	1999-09-30
\|
*	Set version tag for new release.	David Aspinall	1999-09-29
\|
*	Set version tag for new release.	David Aspinall	1999-09-28
\|
*	Set version tag for new release.	David Aspinall	1999-09-27
\|
*	Set version tag for new release.	David Aspinall	1999-09-23
\|
*	Set version tag for new release.	David Aspinall	1999-09-22
\|
*	Set version tag for new release.	David Aspinall	1999-09-21
\|
*	Set version tag for new release.	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
*	Set version tag for new release.	David Aspinall	1999-08-27
\|
*	Set version tag for new release.	David Aspinall	1999-08-24
\|
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
\|
*	Set version tag for new release.	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
\|
*	Set version tag for new release.	David Aspinall	1999-07-16
\|
*	Set version tag for new release.	David Aspinall	1999-07-07
\|
*	Set version tag for new release.	David Aspinall	1999-07-03
\|
*	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
\|
*	Set version tag for new release.	proofgen	1999-06-07
\|
*	added proof system "plastic", triggered by a .lf extension	Paul Callaghan	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
\|
*	Set version tag for new release.	David Aspinall	1999-02-22
\|
*	Docstring	David Aspinall	1999-02-22
\|
*	Added PROOFGENERAL_ASSISTANTS. proof-site should not need to be edited.	David Aspinall	1999-02-22
\|
*	Set version tag for new release.	David Aspinall	1999-02-01
\|
*	Set version tag for new release.	David Aspinall	1999-01-15
\|
*	Set version tag for new release.	David Aspinall	1999-01-12
\|
*	Set version tag for new release.	David Aspinall	1998-12-18
\|