proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching inside	David Aspinall	2009-12-01
\| \| \| \| \| \|	\< \>) appears to work on Emacs 22, hopefully repairing http://proofgeneral.inf.ed.ac.uk/trac/ticket/300. Also replace proof-splice-separator -> mapconcat builtin.
*	typo	David Aspinall	2009-12-01
\|
*	isar-control-char-format-regexp: prevent subsequent control chars being captured	David Aspinall	2009-12-01
\|
*	isabelle-set-prog-name: more robust treatment of spaces in arguments;	Makarius Wenzel	2009-11-28
\|
*	additional menu entries;	Makarius Wenzel	2009-11-26
\|
*	define isar-pr as load-time constant;	Makarius Wenzel	2009-11-24
\|
*	Use ProofGeneral.pr if available. See Trac #292.	David Aspinall	2009-11-23
\|
*	tvar font-lock: allow more than one ? (as in inference parameter ??'a);	Makarius Wenzel	2009-11-21
\|
*	more robust THIS/SUPER: allow spaces;	Makarius Wenzel	2009-11-21
\| \| \| \| \|	modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols";
*	menu items for atp_info, atp_kill;	Makarius Wenzel	2009-10-21
\|
*	disable indent-tabs-mode for theory mode;	Makarius Wenzel	2009-10-17
\|
*	Remove function-menu setting	David Aspinall	2009-10-14
\|
*	named entity needed for goal-with-hole	David Aspinall	2009-10-14
\|
*	Remove fume settings	David Aspinall	2009-10-14
\|
*	Start using new parser, adjusting isar-any-command-regexp.	David Aspinall	2009-10-03
\|
*	Documentation.	David Aspinall	2009-09-29
\|
*	inline isar-long-id-stuff	David Aspinall	2009-09-29
\|
*	Functions find-and-forget and count-undos now return lists of commands	David Aspinall	2009-09-28
\|
*	Add markup for \<^const> control, complicate ↵	David Aspinall	2009-09-28
\| \| \| \|	`isar-control-char-format-regexp' to markup identifiers
*	Follow Upper Case Convention for menu entries	David Aspinall	2009-09-27
\|
*	display_drafts, print_drafts: query to save buffer	David Aspinall	2009-09-27
\| \| \| \| \|	Follow Upper Case Convention for menu entries Remove duplicate menu entry: Commands -> set isabelle
*	Add pr to print state in case of linear_undo. See Trac #292.	David Aspinall	2009-09-26
\| \| \| \| \|	Still not ideal: when there is no proof state, we'd prefer that an empty goal screen is displayed.
*	Revert accidental commit	David Aspinall	2009-09-15
\|