proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Note about proof_timing in Isabelle	David Aspinall	1999-11-29
\|
*	Updated	David Aspinall	1999-11-29
\|
*	Typo	David Aspinall	1999-11-29
\|
*	Comments about improved handling of urgent message markers, following	David Aspinall	1999-11-29
\| \| \| \| \| \|	jrl's bug report about duplication of occasional urgent messages. The correct fix is to set proof-shell-eager-annotation-start-length properly.
*	Change SML minor mode binding to C-c C-m, avoiding clash with	David Aspinall	1999-11-29
\| \| \| \| \|	proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu.
*	Add universal keys to theory mode	David Aspinall	1999-11-29
\|
*	Fix to proof-shell-proof-completed-regexp by reverting to previous version.	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-26
\|