proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Join paras	David Aspinall	2001-09-03
\|
*	Text	David Aspinall	2001-09-03
\|
*	Fix link to screenshot	David Aspinall	2001-09-03
\|
*	Improve layout	David Aspinall	2001-09-03
\|
*	Typo. Update Emacs version to 20.7.	David Aspinall	2001-09-03
\|
*	PHP file	David Aspinall	2001-09-03
\|
*	Renamed file	David Aspinall	2001-09-03
\|
*	Set version tag for new release.	David Aspinall	2001-09-03
\|
*	Please try devel version	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Mention hiding proofs.	David Aspinall	2001-09-03
\|
*	Set version tag for new release.	David Aspinall	2001-09-02
\|
*	Set version tag for new release.	David Aspinall	2001-08-30
\|
*	Note about XEmacs 21 and x-symbol	David Aspinall	2001-08-30
\|
*	Set version tag for new release.	David Aspinall	2001-08-28
\|
*	Improve stylesheet syntax, make menubar smaller	David Aspinall	2001-08-28
\|
*	Set version tag for new release.	David Aspinall	2001-08-17
\|
*	Set version tag for new release.	David Aspinall	2001-08-16
\|
*	Add link to browse files	David Aspinall	2001-08-16
\|
*	Add link to browse package	David Aspinall	2001-08-16
\|
*	Add link to individual files	David Aspinall	2001-08-16
\|
*	Fix screenshots link	David Aspinall	2001-08-15
\|
*	Fix again.	David Aspinall	2001-08-15
\|
*	Fix link	David Aspinall	2001-08-15
\|
*	Set version tag for new release.	David Aspinall	2001-08-10
\|
*	Set version tag for new release.	David Aspinall	2001-08-03
\|
*	Fix link back to fileshow.php	David Aspinall	2001-08-03
\|
*	Renamed file	David Aspinall	2001-08-03
\|
*	Fix screenshot link	David Aspinall	2001-08-03
\|
*	Fix links to gallery	David Aspinall	2001-08-01
\|
*	Deleted files.	David Aspinall	2001-08-01
\|
*	Renamed file	David Aspinall	2001-08-01
\|
*	Moved to .php	David Aspinall	2001-08-01
\|
*	Fix typo	David Aspinall	2001-08-01
\|
*	Renamed file	David Aspinall	2001-08-01
\|
*	Added news	David Aspinall	2001-08-01
\|
*	Set version tag for new release.	David Aspinall	2001-08-01
\|
*	Set version tag for new release.	David Aspinall	2001-07-23
\|
*	Set version tag for new release.	David Aspinall	2001-07-09
\|
*	Fix Coq link.	David Aspinall	2001-05-29
\|
*	Set version tag for new release.	David Aspinall	2001-05-29
\|
*	Fix layout and typo.	David Aspinall	2001-05-29
\|
*	Include PHP file	David Aspinall	2001-05-29
\|
*	Renamed file	David Aspinall	2001-05-29
\|
*	PHP version. Also dont mention junk filters.	David Aspinall	2001-05-29
\|
*	Set version tag for new release.	David Aspinall	2001-05-16
\|
*	Repair link via htmlshow.php	David Aspinall	2001-05-08
\|
*	Set version tag for new release.	David Aspinall	2001-05-08
\|
*	Set version tag for new release.	David Aspinall	2001-05-08
\|
*	preliminary -> experimental	David Aspinall	2001-05-08
\|