proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-08-19
\|
*	Mention mailing list	David Aspinall	1999-08-17
\|
*	Mention developers mailing list	David Aspinall	1999-08-17
\|
*	Mail to majordomo, not da	David Aspinall	1999-08-17
\|
*	HTML tweaks	David Aspinall	1999-08-17
\|
*	Set version tag for new release.	David Aspinall	1999-08-17
\|
*	Set version tag for new release.	David Aspinall	1999-07-22
\|
*	Downgraded Isabelle version to 98-1 again	David Aspinall	1999-07-22
\|
*	Set version tag for new release.	David Aspinall	1999-07-16
\|
*	Set version tag for new release.	David Aspinall	1999-07-07
\|
*	Validator address fix.	David Aspinall	1999-07-05
\|
*	Tweaks and validation fixes.	David Aspinall	1999-07-03
\|
*	Fixed validator address.	David Aspinall	1999-07-03
\|
*	Comment	David Aspinall	1999-07-03
\|
*	Request to register a little more encouraging.	David Aspinall	1999-07-03
\|
*	Set version tag for new release.	David Aspinall	1999-07-03
\|
*	Set version tag for new release.	David Aspinall	1999-07-02
\|
*	Missing space.	David Aspinall	1999-07-02
\|
*	Spaces and punctuation	David Aspinall	1999-07-02
\|
*	Notes about php functions.	David Aspinall	1999-07-02
\|
*	Note about doc files absence from devel tarball.	David Aspinall	1999-07-01
\|
*	Set version tag for new release.	David Aspinall	1999-07-01
\|
*	Attribute LFCS on front page	David Aspinall	1999-06-30
\|
*	Removed hack for texi2html, now using hacked texi2html instead.	David Aspinall	1999-06-30
\|
*	Streamlined a bit	David Aspinall	1999-06-30
\|
*	Set version tag for new release.	David Aspinall	1999-06-30
\|
*	Tweaks	David Aspinall	1999-06-30
\|
*	Simple hit counter	David Aspinall	1999-06-30
\|
*	Tweak	David Aspinall	1999-06-28
\|
*	Link for printing download is just .ps.gz now.	David Aspinall	1999-06-28
\|
*	Mention Plastic and Isar and release number of Emacs.	David Aspinall	1999-06-28
\|
*	Added pg_title variable	David Aspinall	1999-06-28
\|
*	Fixed link to devel RPM.	David Aspinall	1999-06-28
\|
*	Paraphrased some of the history.	David Aspinall	1999-06-28
\|
*	Set version tag for new release.	David Aspinall	1999-06-28
\|
*	general with whip	David Aspinall	1999-06-28
\|
*	Fixed email addresses	David Aspinall	1999-06-28
\|
*	Got proper file from backup.	David Aspinall	1999-06-28
\|
*	pointer to FSF Emacs	David Aspinall	1999-06-28
\|
*	Set version tag for new release.	proofgen	1999-06-24
\|
*	Support for version 3 browsers added.	David Aspinall	1999-06-24
\|
*	Deleted files.	David Aspinall	1999-06-24
\|
*	New image	David Aspinall	1999-06-24
\|
*	Style sheet.	David Aspinall	1999-06-24
\|
*	Notes about web pages	David Aspinall	1999-06-24
\|
*	New web pages	David Aspinall	1999-06-24
\|
*	.phtml instead	David Aspinall	1999-06-24
\|
*	New images	David Aspinall	1999-06-24
\|
*	Updated to use local validator.	David Aspinall	1998-12-17
\|
*	Link to TOC of documentation html.	David Aspinall	1998-12-17
\|