proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanup more Emacs compatibility	David Aspinall	2009-05-27
\|
*	Check unicode-tokens-mode is bound	David Aspinall	2009-05-27
\|
*	Bump Emacs version	David Aspinall	2009-05-26
\|
*	Add proof state hover messages to proof script, along with useful customization.	David Aspinall	2009-05-26
\|
*	Add functions for encoding string and buffer regions	David Aspinall	2009-05-26
\|
*	Revert "logic" fix.	David Aspinall	2009-05-26
\|
*	More isatool->isabelle renamings and an (old) logic fix	David Aspinall	2009-05-26
\|
*	Correct Unicode support	David Aspinall	2009-05-26
\|
*	Update version, latest only.	David Aspinall	2009-05-26
\|
*	Set version tag for new release.	David Aspinall	2009-05-26
\|
*	Fix header	David Aspinall	2009-05-26
\|
*	Updated	David Aspinall	2009-05-26
\|
*	Remove process-live-p, move complete autoload to use point	David Aspinall	2009-05-26
\|
*	proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey	David Aspinall	2009-05-26
\| \| \| \|	proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
*	Remove yank-handler experiment, in favour of buffer-substring-filters	David Aspinall	2009-05-26
\|
*	Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵	David Aspinall	2009-05-26
\| \| \| \|	cleanups
*	* empty log message *	David Aspinall	2009-05-26
\|
*	isar-strip-output-markup: simple output markup stripping	David Aspinall	2009-05-26
\| \| \| \|	Experiment with font-lock to set yank-handler.
*	Set strip-output-function for pasting. Adjust font-lock handling to	David Aspinall	2009-05-26
\| \| \| \|	cope with very long multiline matches.
*	Test case for #266	David Aspinall	2009-05-26
\|
*	unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: ↵	David Aspinall	2009-05-26
\| \| \| \|	font prop must be given first
*	Updated	David Aspinall	2009-05-26
\|
*	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
\|