proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Remove yank-handler experiment, in favour of buffer-substring-filters	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.
*	Add proof-electric-terminator-noterminator behaviour for Isar	David Aspinall	2009-05-26
\|
*	Hide goals marker start again (Isabelle2009 doesn't markup subgoals)	David Aspinall	2009-05-26
\|
*	Rename isatool -> isabelle	David Aspinall	2009-05-26
\|
*	Add highlighting for sendback	David Aspinall	2009-05-26
\|
*	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
\|
*	Linear undo command	David Aspinall	2008-12-05
\|
*	Hyphen instead of emdash in faked longleftarrow	David Aspinall	2008-12-05
\|
*	Fix by Stephan Hohe	David Aspinall	2008-09-18
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
*	Fix tokens	David Aspinall	2008-08-03
\|
*	Updated.	David Aspinall	2008-08-03
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Add lbrace, rbrace	David Aspinall	2008-07-19
\|
*	Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour	David Aspinall	2008-07-18
\| \| \| \|	with cut-and-paste and when typing tokens directly. Trac#223.
*	Remove use of :help for menu tooltips- GNU Emacs only.	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	backport of recent changes to isar-unicode-tokens.el:	Makarius Wenzel	2008-07-11
\| \| \| \| \| \| \|	more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back \|-> shortcut;
*	Add hook for hack-local-variables-hook to give warning about chosen logic ↵	David Aspinall	2008-07-10
\| \| \| \|	change. Also logic menu tooltips.
*	Use proof-guess-command-line to adjust command line when starting Isabelle.	David Aspinall	2008-07-10
\|
*	removed obsolete comment;	Makarius Wenzel	2008-07-10
\|
*	Start to rationalise setting for proof-prog-name.	David Aspinall	2008-07-10
\|
*	more precise regexps isar-token-match, isar-control-token-match;	Makarius Wenzel	2008-07-09
\|
*	isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	expects;
*	isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	particular meaning in Isabelle;
*	unicode shortcut alist: literal backslash instead of strange control ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	sequence, e.g. "\\nat" instead of "\nat";
*	defface: using proof-face-specs makes faces appear on non-X11 window systems ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	as well;
*	Add back \|-> shortcut	David Aspinall	2008-07-05
\|
*	TEMPORARY: add unicode-tokens2 mechanism to test across different machines	David Aspinall	2008-07-05
\|
*	proper indentation;	Makarius Wenzel	2008-03-14
\|
*	Missing backslashes.	David Aspinall	2008-02-17
\|
*	Experimental use of fonts for \<AA> etc. Disable some contentious shortcuts	David Aspinall	2008-02-17
\|
*	Remove isar-activate-scripting, which was identical to default	David Aspinall	2008-02-17
\|
*	Set proof-shell-eager-annotation-start-length=2. This should have been	David Aspinall	2008-02-17
\| \| \| \|	when ASCII scheme was introduced. Messages may be lost otherwise.
*	tuned comment;	Makarius Wenzel	2008-02-13
\|
*	accomodate Carbon Emacs: keep window system enabled, even if no DISPLAY;	Makarius Wenzel	2008-02-06
\|
*	Remove ligature/latin1 symbols. Trim short cuts	David Aspinall	2008-02-05
\|
*	Disable warnings.	David Aspinall	2008-02-04
\|
*	Support Isabelle control sequences for subscripts/superscripts	David Aspinall	2008-02-04
\|
*	Add mode documentation	David Aspinall	2008-02-04
\|
*	Go back to isabellesym.sty as master symbol list	David Aspinall	2008-02-04
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Update maintainers to add back the key person, 8-).	David Aspinall	2008-01-31
\|
*	Harmonise a bit more with X-Symbols. Add customization facility	David Aspinall	2008-01-30
\|