proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Update for new syntax	David Aspinall	2008-07-19
\|
*	New files.	David Aspinall	2008-07-10
\|
*	Remove semi-colons. Literal commands triggered in response buffer	David Aspinall	2008-01-31
\| \| \| \| \|	are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used).
*	New files.	David Aspinall	2008-01-29
\|
*	Updated.	David Aspinall	2008-01-29
\|
*	New files.	David Aspinall	2008-01-29
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	New files.	David Aspinall	2007-12-14
\|
*	New files.	David Aspinall	2007-12-09
\|
*	proper use of ProofGeneral.sendback;	Makarius Wenzel	2007-08-20
\|
*	Test ProofGeneral.sendback	David Aspinall	2007-08-19
\|
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Demonstrate faulty error reporting. Somewhat obscure, unless some	David Aspinall	2007-01-03
\| \| \| \|	tactics are using Output.error_msg rather than the "error" function.
*	Change to new Isabelle syntax	David Aspinall	2006-07-26
\|
*	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
\|
*	New files.	David Aspinall	2004-08-10
\|
*	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
\|
*	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
\|
*	Updated.	David Aspinall	2004-06-13
\|
*	Comments.	David Aspinall	2004-05-06
\|
*	Updated.	David Aspinall	2004-04-21
\|
*	new test case for \<^isub>	Gerwin Klein	2004-04-05
\|
*	More sub/super examples.	David Aspinall	2004-04-02
\|
*	Add extra term test -- shows up current bug	David Aspinall	2004-04-02
\|
*	More comments/test printing.	David Aspinall	2004-04-02
\|
*	Add test of spanning sup/sub	David Aspinall	2004-04-02
\|
*	Add bug reported by Norbert Schirmer.	David Aspinall	2003-09-25
\| \| \| \|	[Actually, superscript highlighting seems broken anyway]
*	Add test case with symbol in subscript	David Aspinall	2003-03-10
\|
*	Remove notes about old bugs	David Aspinall	2003-03-07
\|
*	New files.	David Aspinall	2003-02-19
\|
*	New files.	David Aspinall	2003-02-18
\|
*	Test case for {nested proof} in isabelle	David Aspinall	2003-02-17
\|
*	New files.	David Aspinall	2003-01-24
\|
*	Borrowed as example	David Aspinall	2002-08-28
\|
*	Exercise bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
\|
*	More comments	David Aspinall	2002-08-09
\|
*	New files.	David Aspinall	2002-08-09
\|
*	Updated.	David Aspinall	2002-07-19
\|
*	More tests	David Aspinall	2002-07-18
\|
*	More comments on current bugs	David Aspinall	2002-07-18
\|
*	New files.	David Aspinall	2002-07-18
\|