proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Patch for nested comments from Stefan Monnier.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Changes for development release	David Aspinall	2002-08-29
\|
*	Missing tag	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Add Stefan Monnier	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Remove proof-splash-extensions	David Aspinall	2002-08-29
\|
*	Try to avoid old setting proof-splash-extensions.	David Aspinall	2002-08-29
\|
*	Make proof-splash-extensions defconst instead of defcustom	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Remove isabelle logo	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Deleted files.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Remove mule-fonts thing, it breaks make magic	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Use tarfile	David Aspinall	2002-08-29
\|
*	Fix typo	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Deleted files.	David Aspinall	2002-08-29
\|
*	Remove isabelle image from splash screen	David Aspinall	2002-08-29
\|
*	Observe EMACS environment variable	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Remove bogus file	David Aspinall	2002-08-29
\|
*	Update comment	David Aspinall	2002-08-29
\|
*	Remove development note	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Missing mkdir	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	pre 3.4 -> 3.5	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Updated	David Aspinall	2002-08-29
\|
*	Support dekstop entries for KDE and GNOME, tested in RedHat 7.3	David Aspinall	2002-08-29
\|
*	Desktop file for KDE.	David Aspinall	2002-08-29
\|
*	Search for isabelle binary in standard places.	David Aspinall	2002-08-29
\|
*	Add additional path to proof-locate-executable.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|