proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add proof-electric-terminator-noterminator behaviour for Isar	David Aspinall	2009-05-26
\|
*	Updates for Isabelle2009, new electric terminator behaviour.	David Aspinall	2009-05-26
\|
*	Revise example for Isabelle 2009, showing use of two commands on a line.	David Aspinall	2009-05-26
\|
*	Hide goals marker start again (Isabelle2009 doesn't markup subgoals)	David Aspinall	2009-05-26
\|
*	Revive sendback behaviour (using button1)	David Aspinall	2009-05-26
\|
*	Rename isatool -> isabelle	David Aspinall	2009-05-26
\|
*	Add highlighting for sendback	David Aspinall	2009-05-26
\|
*	Set default value for `buffer-invisibility-spec'	David Aspinall	2009-05-25
\|
*	Updated.	David Aspinall	2009-04-16
\|
*	Set version tag for new release.	David Aspinall	2009-04-16
\|
*	fixed a bug with region-exists-p not defined in some emacsen.	Pierre Courtieu	2009-04-16
\|
*	isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ↵	Makarius Wenzel	2009-03-31
\| \| \| \|	added special "L", special "V";
*	eliminated obsolete non-ASCII specials;	Makarius Wenzel	2009-03-31
\|
*	recovered proof-shell-process-urgent-message, by re-introducing ↵	Makarius Wenzel	2009-03-31
\| \| \| \|	commented-out parenthesis and refreshing formerly unreachable cases;
*	fixed spelling;	Makarius Wenzel	2009-03-31
\|
*	fixed a bad interaction with Coq -R option	Assia Mahboubi	2009-03-17
\|
*	Fix to use in place of make, see ↵	David Aspinall	2009-03-10
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
*	Made indentation optional when replaing # by holes.	Pierre Courtieu	2009-01-14
\|
*	Deleted file	David Aspinall	2008-12-05
\|
*	Deleted file	David Aspinall	2008-12-05
\|
*	merge develdownload.html with devel.html	David Aspinall	2008-12-05
\|
*	Updated.	David Aspinall	2008-12-05
\|
*	Tweak	David Aspinall	2008-12-05
\|
*	Set version tag for new release.	David Aspinall	2008-12-05
\|
*	Linear undo command	David Aspinall	2008-12-05
\|
*	Some minimal updates for 4.0pre	David Aspinall	2008-12-05
\|
*	Fix extra @end defvar	David Aspinall	2008-12-05
\|
*	Hyphen instead of emdash in faked longleftarrow	David Aspinall	2008-12-05
\|
*	Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan	Pierre Courtieu	2008-10-22
\| \| \| \|	Monnier.
*	Fixing region access for emacs <= 22.	Pierre Courtieu	2008-10-02
\|
*	Set version tag for new release.	David Aspinall	2008-09-19
\|
*	Updated.	David Aspinall	2008-09-19
\|
*	unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.	David Aspinall	2008-09-18
\|
*	Fix by Stephan Hohe	David Aspinall	2008-09-18
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
*	Documentation	David Aspinall	2008-08-06
\|
*	Comment	David Aspinall	2008-08-06
\|
*	unicode-tokens-initialise: initialise menu here too rather than at top level	David Aspinall	2008-08-05
\|
*	Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars ↵	David Aspinall	2008-08-04
\| \| \| \|	option.
*	Fix tokens	David Aspinall	2008-08-03
\|
*	Fix type in calls to toggle functions	David Aspinall	2008-08-03
\|
*	Disable subterm markup removal	David Aspinall	2008-08-03
\|
*	pg-response-display: disable subterm markup removal	David Aspinall	2008-08-03
\|
*	Add links to splash menu	David Aspinall	2008-08-03
\|
*	Make proof-locked-face much lighter	David Aspinall	2008-08-03
\|
*	Updated.	David Aspinall	2008-08-03
\|
*	Change for locked face colour	David Aspinall	2008-08-03
\|
*	Remove XEmacs package, now single RPM.	David Aspinall	2008-08-03
\|
*	Updates for 4.0	David Aspinall	2008-08-03
\|
*	Fixed the bug with coq-guess-command-line.	Pierre Courtieu	2008-07-24
\|
*	Fix for deferred loading of maths menu.	David Aspinall	2008-07-24
\|