proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2000-03-10
\|
*	Set version tag for new release.	David Aspinall	2000-03-09
\|
*	Added support for HOL98 PG.	David Aspinall	2000-03-09
\|
*	Set version tag for new release.	David Aspinall	2000-03-08
\|
*	Set version tag for new release.	David Aspinall	2000-03-01
\|
*	Set version tag for new release.	David Aspinall	2000-02-29
\|
*	Set version tag for new release.	David Aspinall	2000-02-28
\|
*	Set version tag for new release.	David Aspinall	2000-02-24
\|
*	Set version tag for new release.	David Aspinall	2000-02-17
\|
*	Set version tag for new release.	David Aspinall	2000-02-15
\|
*	Set version tag for new release.	David Aspinall	2000-02-09
\|
*	Set version tag for new release.	David Aspinall	2000-01-26
\|
*	Set version tag for new release.	David Aspinall	2000-01-20
\|
*	Set version tag for new release.	David Aspinall	2000-01-12
\|
*	Set version tag for new release.	David Aspinall	2000-01-06
\|
*	Set version tag for new release.	David Aspinall	1999-12-16
\|
*	Set version tag for new release.	David Aspinall	1999-12-14
\|
*	Set version tag for new release.	David Aspinall	1999-12-13
\|
*	Set version tag for new release.	David Aspinall	1999-12-03
\|
*	Set version tag for new release.	David Aspinall	1999-12-01
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-29
\|
*	Set version tag for new release.	David Aspinall	1999-11-29
\|
*	Set version tag for new release.	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-25
\|
*	Set version tag for new release.	David Aspinall	1999-11-24
\|
*	Set version tag for new release.	David Aspinall	1999-11-23
\|
*	Set version tag for new release.	David Aspinall	1999-11-22
\|
*	Set version tag for new release.	David Aspinall	1999-11-19
\|
*	Set version tag for new release.	David Aspinall	1999-11-18
\|
*	Set version tag for new release.	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-16
\|
*	Note about how to use demoisa and isar instances. Other comments	David Aspinall	1999-11-16
\|
*	Set version tag for new release.	David Aspinall	1999-11-15
\|
*	FSF fix: require cl.	David Aspinall	1999-11-15
\|
*	Added example instantiation demoisa	David Aspinall	1999-11-13
\|
*	Set version tag for new release.	David Aspinall	1999-11-12
\|
*	Set version tag for new release.	David Aspinall	1999-11-10
\|
*	Set version tag for new release.	David Aspinall	1999-11-09
\|
*	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
\|