proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add todays date, 3.2	David Aspinall	2000-10-02
\|
*	Updated web pages for 3.2 release	David Aspinall	2000-10-02
\|
*	Updated, cleaned up	David Aspinall	2000-10-02
\|
*	Note about alternative path to perl	David Aspinall	2000-10-02
\|
*	Updated magic	David Aspinall	2000-10-02
\|
*	Caveats about using elcs.	David Aspinall	2000-10-02
\|
*	New file	David Aspinall	2000-10-02
\|
*	Pass extra args to emacs.	David Aspinall	2000-10-02
\|
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Subtitle caps	David Aspinall	2000-10-02
\|
*	Updated.	David Aspinall	2000-09-29
\|
*	Added a new email alias	David Aspinall	2000-09-29
\|
*	Typos in credits section	David Aspinall	2000-09-29
\|
*	Added credits section	David Aspinall	2000-09-29
\|
*	Updated.	David Aspinall	2000-09-29
\|
*	Another buglet in files list	David Aspinall	2000-09-29
\|
*	Updated.	David Aspinall	2000-09-29
\|
*	Bug in files list	David Aspinall	2000-09-29
\|
*	Updated.	David Aspinall	2000-09-29
\|
*	Remove ChangeLog from ignoreds	David Aspinall	2000-09-29
\|
*	Fix ChangeLog target so makes prefix properly. Revert to keeping ↵	David Aspinall	2000-09-29
\| \| \| \|	uncompressed file in repo.
*	Add acl2 and twelf to elisp dirs	David Aspinall	2000-09-29
\|
*	Fix adding acl2 and twelf to RPM	David Aspinall	2000-09-29
\|
*	ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...	David Aspinall	2000-09-29
\|
*	Link image to root dir.	David Aspinall	2000-09-29
\|
*	Tweak	David Aspinall	2000-09-29
\|
*	Remove patch on perl filename now, after Pierres accidental checkin.	David Aspinall	2000-09-29
\|
*	Set version tag for new release.	David Aspinall	2000-09-29
\|
*	Updating branch	David Aspinall	2000-09-29
\|
*	Note about dealing with backslashname directory.	David Aspinall	2000-09-29
\|
*	Updated	David Aspinall	2000-09-29
\|
*	Note about dealing with backslashname directory.	David Aspinall	2000-09-29
\|
*	Update URLs and mail aliases. Mention script, and extensions for new provers	David Aspinall	2000-09-29
\|
*	Script for launching proofgeneral.	David Aspinall	2000-09-29
\|
*	Updated	David Aspinall	2000-09-29
\|
*	Add more provers, and proofgeneral script	David Aspinall	2000-09-29
\|
*	Notes about proofgeneral.org	David Aspinall	2000-09-29
\|
*	Add icon images.	David Aspinall	2000-09-29
\|
*	Minor change	David Aspinall	2000-09-29
\|
*	Note about packages needed	David Aspinall	2000-09-29
\|
*	Click to go back links to root.	David Aspinall	2000-09-29
\|
*	Remove messy link_root links.	David Aspinall	2000-09-29
\|
*	Short file instead of a link, so works in CVS. Bit annoying to duplicate, ↵	David Aspinall	2000-09-29
\| \| \| \|	but never mind.
*	Links for shortcut URLs.	David Aspinall	2000-09-29
\|
*	Mention needed server hacks	David Aspinall	2000-09-29
\|
*	Remove link_root nonsense	David Aspinall	2000-09-29
\|
*	Updated with fixes before 3.2.	David Aspinall	2000-09-29
\|
*	Inherent problem with Emacs in console mode: no face support	David Aspinall	2000-09-29
\|
*	twelf and acl2 are in ordinary dist	David Aspinall	2000-09-29
\|