proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updating branch	David Aspinall	2002-08-29
\|
*	Updating branch for new version number.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	New files.	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Make C-c C-w appear on binding list	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Dependencies classed as experimental.	David Aspinall	2002-08-29
\|
*	Update magic	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Simplify byte comp, notes of brokenness.	David Aspinall	2002-08-29
\|
*	New files.	David Aspinall	2002-08-29
\|
*	New theorem deps settings	David Aspinall	2002-08-29
\|
*	AF2 eradicate	David Aspinall	2002-08-29
\|
*	Set version tag for new release.	David Aspinall	2002-08-29
\|
*	Simplify menu structure further by adding Advanced menu.	David Aspinall	2002-08-29
\|
*	Update magic	David Aspinall	2002-08-29
\|
*	News about 3.4; links to download.	David Aspinall	2002-08-29
\|
*	Fix calls on proof-defshortcut	David Aspinall	2002-08-29
\|
*	Fix interactive posn	David Aspinall	2002-08-28
\|
*	Comments: possible fix to compiles.	David Aspinall	2002-08-28
\|
*	Fix for docstrings in proof-def-shortcut, proof-def-invisible.	David Aspinall	2002-08-28
\|
*	Alternative version of proof-ass macro to support byte-compiled files.	David Aspinall	2002-08-28
\|
*	checkdoc induced docstring tweaks.	David Aspinall	2002-08-28
\|