proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Correct release tags.	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
\|
*	Renamed file	David Aspinall	1999-11-30
\|
*	Updated	David Aspinall	1999-11-30
\|
*	Updated	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-29
\|
*	Upcoming fix for 3.1.	David Aspinall	1999-11-29
\|
*	Updated.	David Aspinall	1999-11-29
\|
*	Updated	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
\|
*	Renamed file	David Aspinall	1999-11-26
\|
*	Add main README, COPYING to RPM.	David Aspinall	1999-11-26
\|
*	Add ProofGeneral.texi and CHANGES to RPM.	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
\|
*	Junk proof-xsym-toggle-hook	David Aspinall	1999-11-18
\|
*	Attempted patch no.1	David Aspinall	1999-11-18
\|
*	Deleted files.	David Aspinall	1999-11-17
\|
*	Changed doc link	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-16
\|
*	Updates	David Aspinall	1999-11-16
\|
*	Test files for automatic multiple files.	David Aspinall	1999-11-16
\|
*	Set version tag for new release.	David Aspinall	1999-11-15
\|
*	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
\|