proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	example output;	Makarius Wenzel	2005-09-01
\|
*	added lemma;	Makarius Wenzel	2005-09-01
\|
*	example theory involving unicode characters (utf-8 encoding);	Makarius Wenzel	2005-09-01
\|
*	Set version tag for new release.	David Aspinall	2005-08-10
\|
*	Updated.	David Aspinall	2005-08-10
\|
*	Try to avoid packaging elcs inadvertently	David Aspinall	2005-07-15
\|
*	Set version tag for new release.	David Aspinall	2005-07-15
\|
*	Tweak headers for FC4 build	David Aspinall	2005-07-15
\|
*	Update to match desktop entry spec 0.9.4	David Aspinall	2005-07-15
\|
*	Add alpha to fit modern themes	David Aspinall	2005-07-15
\|
*	Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4	David Aspinall	2005-07-15
\|
*	Set version tag for new release.	David Aspinall	2005-06-02
\|
*	Set version tag for new release.	David Aspinall	2005-05-17
\|
*	Set version tag for new release.	David Aspinall	2005-03-25
\|
*	Fixes	David Aspinall	2004-11-30
\|
*	Add emacs, xemacs as build requires suggested by J Shapiro	David Aspinall	2004-10-05
\|
*	Set version tag for new release.	David Aspinall	2004-08-31
\|
*	More proofgeneral.org removals	David Aspinall	2004-08-25
\|
*	Set version tag for new release.	David Aspinall	2004-08-25
\|
*	Update for forthcoming 3.6	David Aspinall	2004-08-25
\|
*	Explain LaTeX mode for Isabelle a bit better	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Update for 3.6 release	David Aspinall	2004-08-25
\|
*	Set version tag for new release.	David Aspinall	2004-08-10
\|
*	New files.	David Aspinall	2004-08-10
\|
*	Set version tag for new release.	David Aspinall	2004-07-23
\|
*	Update email msg	David Aspinall	2004-06-22
\|
*	Include bug report and observation about GNU Emacs	David Aspinall	2004-06-22
\|
*	Test case for nesting too deep for parser error	David Aspinall	2004-06-22
\|
*	Set version tag for new release.	David Aspinall	2004-06-17
\|
*	Make theory name match file name	David Aspinall	2004-06-17
\|
*	Note about test	David Aspinall	2004-06-17
\|
*	* empty log message *	David Aspinall	2004-06-16
\|
*	New files.	David Aspinall	2004-06-16
\|
*	Set version tag for new release.	David Aspinall	2004-06-16
\|
*	Updated.	David Aspinall	2004-06-13
\|
*	Set version tag for new release.	David Aspinall	2004-06-04
\|
*	Update with date/version.	David Aspinall	2004-05-07
\|
*	Claim auto compilation for Coq.	David Aspinall	2004-05-07
\|
*	Comments.	David Aspinall	2004-05-06
\|
*	Set version tag for new release.	David Aspinall	2004-04-24
\|
*	Updated.	David Aspinall	2004-04-24
\|
*	Update test files	David Aspinall	2004-04-24
\|
*	New files.	David Aspinall	2004-04-22
\|
*	Set version tag for new release.	David Aspinall	2004-04-21
\|
*	Updated.	David Aspinall	2004-04-21
\|
*	Updated.	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
\|