proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Updated.	David Aspinall	2007-05-25
\|
*	New files.	David Aspinall	2007-05-25
\|
*	Set version tag for new release.	David Aspinall	2007-05-10
\|
*	Set version tag for new release.	David Aspinall	2007-03-12
\|
*	Set version tag for new release.	David Aspinall	2007-03-04
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Set version tag for new release.	David Aspinall	2007-01-09
\|
*	Demonstrate faulty error reporting. Somewhat obscure, unless some	David Aspinall	2007-01-03
\| \| \| \|	tactics are using Output.error_msg rather than the "error" function.
*	Set version tag for new release.	David Aspinall	2006-12-20
\|
*	Set version tag for new release.	David Aspinall	2006-12-11
\|
*	Set version tag for new release.	David Aspinall	2006-11-07
\|
*	Set version tag for new release.	David Aspinall	2006-10-27
\|
*	Set version tag for new release.	David Aspinall	2006-09-24
\|
*	Updated.	David Aspinall	2006-09-22
\|
*	Tweak.	David Aspinall	2006-09-22
\|
*	Set version tag for new release.	David Aspinall	2006-09-22
\|
*	Packaging fixes: put isar/interface in right place; install examples and doc ↵	David Aspinall	2006-09-22
\| \| \| \|	files from Makefile.
*	Set version tag for new release.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-09
\|
*	Set version tag for new release.	David Aspinall	2006-09-07
\|
*	Set version tag for new release.	David Aspinall	2006-08-28
\|
*	Mention Emacs menu for debug boxes	David Aspinall	2006-08-23
\|
*	Change to new Isabelle syntax	David Aspinall	2006-07-26
\|
*	Set version tag for new release.	David Aspinall	2006-05-26
\|
*	Set version tag for new release.	David Aspinall	2006-02-14
\|
*	Set version tag for new release.	David Aspinall	2005-10-04
\|
*	Set version tag for new release.	David Aspinall	2005-09-30
\|
*	Set version tag for new release.	David Aspinall	2005-09-22
\|
*	Set version tag for new release.	David Aspinall	2005-09-21
\|
*	Set version tag for new release.	David Aspinall	2005-09-15
\|
*	tuned comment;	Makarius Wenzel	2005-09-14
\|
*	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
\|