proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	isar-user-tokens: add doc so user can see it when using customize	David Aspinall	2010-10-10
\|
*	Update version numbers, release dates	David Aspinall	2010-10-01
\|
*	use-linear-undo: use default of t again	David Aspinall	2010-09-08
\|
*	Fix bug with nested spans, solving #344/#335	David Aspinall	2010-08-27
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Add unnecessary quote marks for consistent colouring	David Aspinall	2010-08-25
\|
*	isar-set-undo-commands: encourage the user not to change while processing a ↵	David Aspinall	2010-08-24
\| \| \| \|	buffer
*	Tidy comments	David Aspinall	2010-08-24
\|
*	isar-strip-terminators: backward-delete-char -> delete-char to fix Emacs 24 ↵	David Aspinall	2010-08-24
\| \| \| \|	compile warning
*	isar-describe-help-keys: remove this, available by default as C-c C-a h C-h	David Aspinall	2010-08-22
\| \| \| \|	(see Trac #341)
*	iasbelle-string-face: Remove italic from defaults because	David Aspinall	2010-08-19
\| \| \| \| \|	STIXRegular doesn't include italic variants of symbols, resulting in empty glyphs appearing on Mac OS X
*	Another test file	David Aspinall	2010-08-18
\|
*	Work on Trac #335 (broken old style script management)	David Aspinall	2010-08-18
\|
*	Clean flag settings for profiling. Add AHundredProofs.	David Aspinall	2010-08-18
\|
*	Turn off parallel proofs setting (no noticeable difference for this test file)	David Aspinall	2010-08-18
\|
*	Add command bound to C-c C-a h ? to show available help keys	David Aspinall	2010-08-18
\|
*	Fix key bindings. Ref Trac#334	David Aspinall	2010-08-17
\|
*	Clean up handling of pending interrupts, remove experimental ↵	David Aspinall	2010-08-17
\| \| \| \|	proof-shell-interrupts-after-commit.
*	Set proof-shell-interrupts-after-commit = nil	David Aspinall	2010-08-16
\|
*	proof-shell-interrupts-after-commit: support commit-before-interrupt mode ↵	David Aspinall	2010-08-15
\| \| \| \|	[experimental/temporary].
*	Extend testing	David Aspinall	2010-08-11
\|
*	isabelle-quote-face: add this face to customize vanishing quotes	David Aspinall	2010-08-11
\|
*	Experiment with default string font being italic, to match STIX italic.	David Aspinall	2010-08-11
\|
*	Support custom syntactic fontification.	David Aspinall	2010-08-11
\|
*	isabelle-string-face: switch to a more traditional green	David Aspinall	2010-08-11
\| \| \| \|	(strings are brown, but logic is green)
*	Fix compile and spelling	David Aspinall	2010-08-09
\|
*	Use pg-dev profiling configuration	David Aspinall	2010-08-09
\|
*	Note complete	David Aspinall	2010-08-08
\|
*	isabelle-string-face: introduce custom string colour as font lock default is ↵	David Aspinall	2010-08-04
\| \| \| \|	terrible
*	Swap phi and varphi for better consistency with STIX.	David Aspinall	2010-08-04
\|
*	isar-remove-file: remove (tail) recursion, leads to stack overflow	David Aspinall	2010-08-04
\|
*	Separate profiling from testing	David Aspinall	2010-08-03
\|
*	Fix compile	David Aspinall	2010-08-03
\|
*	Fix compilation	David Aspinall	2010-08-03
\|
*	Resurrect autotest framework	David Aspinall	2010-08-03
\|
*	less surprising unicode tokens: <-> corresponds to longleftrightarrow in ↵	Makarius Wenzel	2010-08-03
\| \| \| \|	common Isabelle theories (according to symbol length not shape), emdash is not predefined by default and confuses typical LaTeX source;
*	Move distribution examples into subdir	David Aspinall	2010-08-03
\|
*	Fix theory name	David Aspinall	2010-08-03
\|
*	Deleted file	David Aspinall	2010-08-03
\|
*	Fix for matching names in regexps, restores behaviour of name-aware code ↵	David Aspinall	2010-08-02
\| \| \| \|	such as imenu.
*	isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid	David Aspinall	2010-07-01
\| \| \| \|	spurious warning in Emacs 23.2
*	removed some old commands;	Makarius Wenzel	2010-06-29
\|
*	update from Isabelle2009-2;	Makarius Wenzel	2010-06-29
\|
*	more robust treatment of spaces in directory names;	Makarius Wenzel	2009-12-07
\|
*	Revert spurious commits	David Aspinall	2009-12-03
\|
*	Change of type for proof-script-span-context-menu-extensions	David Aspinall	2009-12-03
\|
*	Fix compile error (isar-prog-args unknown).	David Aspinall	2009-12-02
\|
*	Add rest of standard token symbols for alphabets in other fonts	David Aspinall	2009-12-01
\| \| \| \|	(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
*	isar-control-char-format-regexp: correct to only affect next char/symbol	David Aspinall	2009-12-01
\| \| \| \|	isar-control-regions: add \<^bisup>..\<^eisup> and \<^bisub>..\<^eisub>
*	isabelle-set-prog-name: avoid calling split-string with nil arg.	David Aspinall	2009-12-01
\|