proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-11-02
*	test stray ML file;	Makarius Wenzel	1999-10-27
*	Trivial tests for auto multiple files.	David Aspinall	1999-10-25
*	Set version tag for new release.	David Aspinall	1999-10-22
*	Trivial changes	David Aspinall	1999-10-21
*	Set version tag for new release.	David Aspinall	1999-10-21
*	Set version tag for new release.	David Aspinall	1999-10-20
*	Minor change for testing.	David Aspinall	1999-10-20
*	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
*	Test for Unnamed_thm.	David Aspinall	1999-10-06
*	Updated	David Aspinall	1999-10-06
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
*	Notes on profiling.	David Aspinall	1999-10-06
*	summarize changes since 2.1	David Aspinall	1999-10-06
*	Admin changes for version 2.2.	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
*	Updated	David Aspinall	1999-09-13
*	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
*	Set version tag for new release.	David Aspinall	1999-08-27
*	Record of releases	David Aspinall	1999-08-27
*	Updated for 2.1	David Aspinall	1999-08-27
*	Fixed to include isar in distribution; made relocatable.	David Aspinall	1999-08-25
*	Set version tag for new release.	David Aspinall	1999-08-24
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Mentioned a few tests	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-23
*	Set version tag for new release.	David Aspinall	1999-08-20
*	based on Pure rather than Main (which didn't work because of Pure/CPure clash);	Makarius Wenzel	1999-08-19
*	Set version tag for new release.	David Aspinall	1999-08-19
*	Set version tag for new release.	David Aspinall	1999-08-17
*	Test files for multiple file handling with Isabelle/Isar;	Makarius Wenzel	1999-07-29
*	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