proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Illustrat Trac #447	David Aspinall	2012-08-27
\|
*	Set version tag for new release.	David Aspinall	2012-08-14
\|
*	Set version tag for new release.	David Aspinall	2012-08-09
\|
*	Set version tag for new release.	David Aspinall	2012-07-27
\|
*	Set version tag for new release.	David Aspinall	2012-07-23
\|
*	Set version tag for new release.	David Aspinall	2012-06-05
\|
*	Set version tag for new release.	David Aspinall	2012-04-30
\|
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵	David Aspinall	2012-04-30
\| \| \| \|	without installing STIX.
*	Set version tag for new release.	David Aspinall	2012-04-11
\|
*	remove deprecated desktop keys	Hendrik Tews	2012-03-05
\|
*	Test examples for HOL Light	David Aspinall	2012-02-08
\|
*	Set version tag for new release.	David Aspinall	2012-02-06
\|
*	Set version tag for new release.	David Aspinall	2012-01-12
\|
*	Set version tag for new release.	David Aspinall	2012-01-10
\|
*	Set version tag for new release.	David Aspinall	2012-01-04
\|
*	Add big Integral	David Aspinall	2011-12-27
\|
*	Set version tag for new release.	David Aspinall	2011-12-07
\|
*	Set version tag for new release.	David Aspinall	2011-10-17
\|
*	Set version tag for new release.	David Aspinall	2011-10-13
\|
*	Note on how to update base revision number (since I got it wrong on first try)	David Aspinall	2011-10-13
\|
*	Set version tag for new release.	David Aspinall	2011-10-03
\|
*	updated tests to Isabelle2011-1;	Makarius Wenzel	2011-09-28
\|
*	Clean up a little bit, adding extra syntax to make buffer process fully.	David Aspinall	2011-09-19
\|
*	Set version tag for new release.	David Aspinall	2011-09-16
\|
*	some local buffer properties;	Makarius Wenzel	2011-09-04
\|
*	Set version tag for new release.	David Aspinall	2011-08-24
\|
*	Set version tag for new release.	David Aspinall	2011-08-23
\|
*	Set version tag for new release.	David Aspinall	2011-06-22
\|
*	Set version tag for new release.	David Aspinall	2011-06-22
\|
*	Set version tag for new release.	David Aspinall	2011-06-10
\|
*	Set version tag for new release.	David Aspinall	2011-06-10
\|
*	Deleted file	David Aspinall	2011-06-10
\|
*	Change linebreaks as Hendrik would like, not wiki formatted(!)	David Aspinall	2011-06-09
\|
*	parsing check from Trac #410	David Aspinall	2011-06-09
\|
*	Set version tag for new release.	David Aspinall	2011-06-09
\|
*	Set version tag for new release.	David Aspinall	2011-06-07
\|
*	Record of bug report sent	David Aspinall	2011-06-06
\|
*	* empty log message *	David Aspinall	2011-06-06
\|
*	Set version tag for new release.	David Aspinall	2011-06-01
\|
*	Set version tag for new release.	David Aspinall	2011-05-30
\|
*	Set version tag for new release.	David Aspinall	2011-05-27
\|
*	Set version tag for new release.	David Aspinall	2011-05-16
\|
*	Set version tag for new release.	David Aspinall	2011-05-12
\|
*	Set version tag for new release.	David Aspinall	2011-05-05
\|
*	Set version tag for new release.	David Aspinall	2011-04-26
\|
*	Set version tag for new release.	David Aspinall	2011-03-09
\|
*	Set version tag for new release.	David Aspinall	2011-02-23
\|
*	Set version tag for new release.	David Aspinall	2011-01-31
\|
*	Note about declare-function	David Aspinall	2011-01-30
\|
*	Remove semis	David Aspinall	2011-01-25
\|