proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2000-09-21
\|
*	Fix globbing some more.	David Aspinall	2000-09-21
\|
*	Fix for rpm braindead globbing.	David Aspinall	2000-09-21
\|
*	Add PG-adapting to info files.	David Aspinall	2000-09-21
\|
*	Added Prefixes: tag	David Aspinall	2000-09-21
\|
*	bug2: Resolved as of 17.9.00;	Makarius Wenzel	2000-09-21
\|
*	fixed "Dagstuhl";	Makarius Wenzel	2000-09-21
\|
*	Set version tag for new release.	David Aspinall	2000-09-20
\|
*	Set version tag for new release.	David Aspinall	2000-09-18
\|
*	Set version tag for new release.	David Aspinall	2000-09-14
\|
*	Updated	David Aspinall	2000-09-14
\|
*	Set version tag for new release.	David Aspinall	2000-09-13
\|
*	Added some bug test cases.	David Aspinall	2000-09-13
\|
*	Getting ready for 3.2 release	David Aspinall	2000-09-13
\|
*	Notes about using cvs remotely added.	David Aspinall	2000-09-12
\|
*	Set version tag for new release.	David Aspinall	2000-09-12
\|
*	Set version tag for new release.	David Aspinall	2000-09-11
\|
*	Set version tag for new release.	David Aspinall	2000-08-29
\|
*	Set version tag for new release.	David Aspinall	2000-08-28
\|
*	Note about CVSROOT setting.	David Aspinall	2000-08-28
\|
*	Test file for proof-shell-set-elisp-variable-regexp	David Aspinall	2000-08-28
\|
*	Files for testing theorem dependency features.	David Aspinall	2000-08-14
\|
*	Set version tag for new release.	David Aspinall	2000-08-09
\|
*	Set version tag for new release.	David Aspinall	2000-07-26
\|
*	Note about need to test..	David Aspinall	2000-07-20
\|
*	Set version tag for new release.	David Aspinall	2000-07-16
\|
*	Set version tag for new release.	David Aspinall	2000-07-13
\|
*	Add Isabelle interface scripts to RPM	David Aspinall	2000-07-13
\|
*	Set version tag for new release.	David Aspinall	2000-07-12
\|
*	Set version tag for new release.	David Aspinall	2000-07-05
\|
*	Set version tag for new release.	David Aspinall	2000-07-04
\|
*	Set version tag for new release.	David Aspinall	2000-07-03
\|
*	Set version tag for new release.	David Aspinall	2000-06-29
\|
*	Set version tag for new release.	David Aspinall	2000-06-27
\|
*	Added tag to force Isar mode	David Aspinall	2000-06-27
\|
*	Set version tag for new release.	David Aspinall	2000-06-22
\|
*	Set version tag for new release.	David Aspinall	2000-06-19
\|
*	Set version tag for new release.	David Aspinall	2000-06-16
\|
*	Set version tag for new release.	David Aspinall	2000-06-09
\|
*	Set version tag for new release.	David Aspinall	2000-06-06
\|
*	Set version tag for new release.	David Aspinall	2000-06-01
\|
*	File used to test new parsing mechanism.	David Aspinall	2000-06-01
\|
*	New test files for PG kit.	David Aspinall	2000-06-01
\|
*	Set version tag for new release.	David Aspinall	2000-05-30
\|
*	Set version tag for new release.	David Aspinall	2000-05-29
\|
*	Updated for announcement.	David Aspinall	2000-05-29
\|
*	Patched patch again.	David Aspinall	2000-05-25
\| \| \| \|	Phew, what an effort.
*	Fix applying of patch.	David Aspinall	2000-05-25
\|
*	Fix patch.	David Aspinall	2000-05-25
\|
*	Updated patch.	David Aspinall	2000-05-25
\|