proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Removed brackets.	David Aspinall	1999-11-26
\|
*	Fixup formatting	David Aspinall	1999-11-26
\|
*	Set version tag for new release.	David Aspinall	1999-11-26
\|
*	Typo.	David Aspinall	1999-11-26
\|
*	Add technology overview paper.	David Aspinall	1999-11-26
\|
*	Outline paper	David Aspinall	1999-11-26
\|
*	Updated	David Aspinall	1999-11-26
\|
*	Mention .emacs line for RPM package, and default.el.	David Aspinall	1999-11-26
\|
*	Updates for 3.0 release.	David Aspinall	1999-11-26
\|
*	Moved Coq's Abbrev section. Fixed some typos.	David Aspinall	1999-11-26
\|
*	Added index.html link.	David Aspinall	1999-11-26
\|
*	Added devel.links target to make a couple of handy links.	David Aspinall	1999-11-26
\|
*	Typos.	David Aspinall	1999-11-26
\|
*	Fixup branch	David Aspinall	1999-11-26
\|
*	Renamed file	David Aspinall	1999-11-26
\|
*	Fixup branch	David Aspinall	1999-11-26
\|
*	Add main README, COPYING to RPM.	David Aspinall	1999-11-26
\|
*	Renamed file	David Aspinall	1999-11-26
\|
*	Add ProofGeneral.texi and CHANGES to RPM.	David Aspinall	1999-11-26
\|
*	Consider proof-easy-config no-longer experimental.	David Aspinall	1999-11-26
\|
*	News file purged.	David Aspinall	1999-11-26
\|
*	FIXME comment added	David Aspinall	1999-11-25
\|
*	Fix to not distribute linked file.	David Aspinall	1999-11-25
\|
*	Fixup branch.	David Aspinall	1999-11-25
\|
*	Old news file	David Aspinall	1999-11-25
\|
*	Fixup web addresses to zermelo.dcs since www.dcs sub pages all broken.	David Aspinall	1999-11-25
\|
*	Added note about page rearrangement for pdf files	David Aspinall	1999-11-25
\|
*	Add portrait file to IGNOREDFILES.	David Aspinall	1999-11-25
\|
*	Set version tag for new release.	David Aspinall	1999-11-25
\|
*	Switch CVS remote access to faster machine, scar.	David Aspinall	1999-11-25
\|
*	Fixed credits list.	David Aspinall	1999-11-25
\|
*	Updated for 3.0 release.	David Aspinall	1999-11-25
\|
*	Fix IGNOREDFILES to be a list of patterns to ignore, rather than files.	David Aspinall	1999-11-25
\|
*	Comment about fonts. Fix info dir formatting	David Aspinall	1999-11-25
\|
*	Fix link to image file.	David Aspinall	1999-11-25
\|
*	Added note about non-proof .ML files.	David Aspinall	1999-11-25
\|
*	Updated	David Aspinall	1999-11-25
\|
*	Updated	David Aspinall	1999-11-25
\|
*	More improvements.	David Aspinall	1999-11-25
\|
*	Added date stamp to version variable in full releases.	David Aspinall	1999-11-25
\|
*	Updated	David Aspinall	1999-11-24
\|
*	Docstring	David Aspinall	1999-11-24
\|
*	More docstring for proof-customize-toggle.	David Aspinall	1999-11-24
\|
*	Made thy-indent-level a user opt.	David Aspinall	1999-11-24
\|
*	Improved docstrings. Generalised proof-set-bool -> proof-set-value.	David Aspinall	1999-11-24
\|
*	Polished draft.	David Aspinall	1999-11-24
\|
*	Set version tag for new release.	David Aspinall	1999-11-24
\|