proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Add attribute that news was written by me.	David Aspinall	1999-12-01
*	Fix link to Dilip's rather uninformative page	David Aspinall	1999-12-01
*	Hedge on tag for validator image, it's really a lie and should have a questio...	David Aspinall	1999-12-01
*	Fix broken link	David Aspinall	1999-12-01
*	Removed unused descitem style.	David Aspinall	1999-12-01
*	Fix HTML errors by adding name arg to dt() function.	David Aspinall	1999-12-01
*	Fix HTML errors.	David Aspinall	1999-12-01
*	Mention using imenu instead of func-menu.	David Aspinall	1999-12-01
*	Fix HTML error with fileshow.	David Aspinall	1999-12-01
*	Added comments about initializing counter.	David Aspinall	1999-12-01
*	Fix HTML error	David Aspinall	1999-12-01
*	Made background a bit lighter.	David Aspinall	1999-12-01
*	Updated for 3.1pre	David Aspinall	1999-11-30
*	Set version tag for new release.	David Aspinall	1999-11-30
*	Development version becomes 3.1.	David Aspinall	1999-11-30
*	Set version tag for new release.	David Aspinall	1999-11-30
*	Cannot have FULLVERSION in spec file, will break links, etc.	David Aspinall	1999-11-30
*	Edit spec file to get tar file name right.	David Aspinall	1999-11-30
*	Remove -b option from tag. Probably needs to be done by hand.	David Aspinall	1999-11-30
*	Correct release tags.	David Aspinall	1999-11-30
*	Added -b option to tag.	David Aspinall	1999-11-30
*	Set version tag for new release.	David Aspinall	1999-11-30
*	Added -b option to tag.	David Aspinall	1999-11-30
*	Set version tag for new release.	David Aspinall	1999-11-30
*	Note about pdftexinfo bug.	David Aspinall	1999-11-30
*	Disabled use of macros for URLs, sigh. It breaks pdftexinfo.	David Aspinall	1999-11-30
*	Set version tag for new release.	David Aspinall	1999-11-30
*	Note about dumb tty	David Aspinall	1999-11-30
*	Fixup branch	David Aspinall	1999-11-30
*	Renamed file	David Aspinall	1999-11-30
*	Updated	David Aspinall	1999-11-30
*	Added new screenshots, thumbnails.	David Aspinall	1999-11-30
*	Fix page titles.	David Aspinall	1999-11-30
*	New screenshots	David Aspinall	1999-11-30
*	New screenshots.	David Aspinall	1999-11-30
*	I retain copyright for PG images.	David Aspinall	1999-11-30
*	Typo	David Aspinall	1999-11-30
*	Updated	David Aspinall	1999-11-30
*	Added macros for some URLs.	David Aspinall	1999-11-30
*	Updated	David Aspinall	1999-11-30
*	Added FULLVERSION mechanism, to tag proof-general-release.	David Aspinall	1999-11-30
*	Updated	David Aspinall	1999-11-29
*	Fixed download URL to be homepage.	David Aspinall	1999-11-29
*	Added John's name to the credits	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
*	Note about duplicated messages.	David Aspinall	1999-11-29
*	Added more notes about using ML files in Isabelle.	David Aspinall	1999-11-29
*	Upcoming fix for 3.1.	David Aspinall	1999-11-29
*	Updated.	David Aspinall	1999-11-29