proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2004-08-31
\|
*	Set version tag for new release.	David Aspinall	2004-08-25
\|
*	Add lib/ to load-path. Define proof-general-short-version.	David Aspinall	2004-08-25
\| \| \| \|	Move architecture flags to proof-compat
*	Set version tag for new release.	David Aspinall	2004-08-10
\|
*	Set version tag for new release.	David Aspinall	2004-07-23
\|
*	Disable provers whose file extensions clash with sml mode. Default to ↵	David Aspinall	2004-06-23
\| \| \| \|	Isabelle/Isar
*	Set version tag for new release.	David Aspinall	2004-06-17
\|
*	Set version tag for new release.	David Aspinall	2004-06-16
\|
*	Set version tag for new release.	David Aspinall	2004-06-04
\|
*	Set version tag for new release.	David Aspinall	2004-04-24
\|
*	Set version tag for new release.	David Aspinall	2004-04-21
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-18
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-17
\|
*	Set version tag for new release.	David Aspinall	2004-04-16
\|
*	Set version tag for new release.	David Aspinall	2004-04-15
\|
*	Set version tag for new release.	David Aspinall	2004-04-14
\|
*	Tweak disabling of X-Symbol packages to allow user to	David Aspinall	2004-04-13
\| \| \| \|	delete x-symbol subdir.
*	Disable any other x-symbol packages found by XEmacs (uses defadvice)	David Aspinall	2004-04-13
\|
*	Set version tag for new release.	David Aspinall	2004-04-06
\|
*	Add pgshell to proof-assistant-table, remove pgkit for now.	David Aspinall	2004-04-06
\|
*	Another day, another prover:	cxl	2004-04-06
\| \| \| \|	added support for the Casl Consistency Checker (file name extension: .ccc).
*	Set version tag for new release.	David Aspinall	2004-04-05
\|
*	Set version tag for new release.	David Aspinall	2004-04-02
\|
*	Set version tag for new release.	David Aspinall	2004-03-23
\|
*	.v7 and .v8 added as coq file possible extensions.	Pierre Courtieu	2004-03-19
\|
*	Set version tag for new release.	David Aspinall	2004-03-02
\|
*	Set version tag for new release.	David Aspinall	2004-03-01
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Set version tag for new release.	David Aspinall	2004-02-08
\|
*	Set version tag for new release.	David Aspinall	2004-02-07
\|
*	Set version tag for new release.	David Aspinall	2003-10-05
\|
*	Set version tag for new release.	David Aspinall	2003-09-25
\|
*	Set version tag for new release.	David Aspinall	2003-05-24
\|
*	Set version tag for new release.	David Aspinall	2003-05-23
\|
*	Set version tag for new release.	David Aspinall	2003-05-20
\|
*	Set version tag for new release.	David Aspinall	2003-04-15
\|
*	Set version tag for new release.	David Aspinall	2003-03-17
\|
*	Updated.	David Aspinall	2003-03-16
\|
*	Set version tag for new release.	David Aspinall	2003-03-14
\|
*	Set version tag for new release.	David Aspinall	2003-03-07
\|
*	Use Info-default-directory-list for GNU Emacs still	David Aspinall	2003-03-07
\|
*	Set version tag for new release.	David Aspinall	2003-03-05
\|
*	Set version tag for new release.	David Aspinall	2003-03-03
\|
*	Set version tag for new release.	David Aspinall	2003-02-24
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Set version tag for new release.	David Aspinall	2003-02-22
\|