proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
\| \| \| \| \|	Patch for more flexible handling of closing goal...save regions after proof has been completed.
*	Test case	David Aspinall	1999-11-13
\|
*	Set version tag for new release.	David Aspinall	1999-11-12
\|
*	Updated	David Aspinall	1999-11-12
\|
*	New testing files	David Aspinall	1999-11-12
\|
*	Next round of fixups for font-lock and x-symbol.	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Patches for urgent message processing.	David Aspinall	1999-11-11
\|
*	Set version tag for new release.	David Aspinall	1999-11-10
\|
*	Junk code	David Aspinall	1999-11-10
\|
*	Set version tag for new release.	David Aspinall	1999-11-09
\|
*	Test files for error in theory processing.	David Aspinall	1999-11-09
\|
*	Updated multiple file notes.	David Aspinall	1999-11-08
\|
*	New file.	David Aspinall	1999-11-08
\|
*	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
\| \| \| \| \|	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
\|
*	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
\|