proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Included the rest of the info files in the package.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-15
\|
*	Set version tag for new release.	David Aspinall	1998-12-11
\|
*	Set version tag for new release.	David Aspinall	1998-12-07
\|
*	Set version tag for new release.	David Aspinall	1998-11-26
\|
*	Set version tag for new release.	David Aspinall	1998-11-25
\|
*	Emacs lovers become militant.	David Aspinall	1998-11-25
\|
*	Set version tag for new release.	David Aspinall	1998-11-20
\|
*	Set version tag for new release.	David Aspinall	1998-11-10
\|
*	Set version tag for new release.	David Aspinall	1998-11-04
\|
*	Set version tag for new release.	Thomas Kleymann	1998-11-03
\|
*	Set version tag for new release.	Thomas Kleymann	1998-11-02
\|
*	Set version tag for new release.	Thomas Kleymann	1998-10-30
\|
*	Set version tag for new release.	David Aspinall	1998-10-29
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Set version tag for new release.	Thomas Kleymann	1998-10-22
\|
*	Set version tag for new release.	David Aspinall	1998-10-20
\|
*	Set version tag for new release.	David Aspinall	1998-10-15
\|
*	Set version tag for release.	David Aspinall	1998-10-14
\|
*	Set version tag for release.	David Aspinall	1998-10-13
\|
*	Set version tag for release.	David Aspinall	1998-10-12
\|
*	Better summary line	David Aspinall	1998-10-08
\|
*	Added fixup to specfile because dcs.ed has old RPM installed.	David Aspinall	1998-10-08
\|
*	Set version tag for release.	David Aspinall	1998-10-08
\|
*	Moved from /usr/lib to /usr/share	David Aspinall	1998-10-08
\|
*	Adjusted for older rpm	David Aspinall	1998-10-01
\|
*	Moved info file and binaries to proper places.	David Aspinall	1998-09-24
\|
*	Moved to /usr/lib/emacs	David Aspinall	1998-09-24
\|
*	Added %clean	David Aspinall	1998-09-24
\|
*	Removed .orig files after patch	David Aspinall	1998-09-24
\|
*	For building nice package on Linux.	David Aspinall	1998-09-24