proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2010-08-11	isabelle-string-face: switch to a more traditional green	David Aspinall
	(strings are brown, but logic is green)
2010-08-09	Fix compile and spelling	David Aspinall

2010-08-09	Use pg-dev profiling configuration	David Aspinall

2010-08-08	Note complete	David Aspinall

2010-08-04	isabelle-string-face: introduce custom string colour as font lock default is ↵	David Aspinall
	terrible
2010-08-04	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-03	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
	common Isabelle theories (according to symbol length not shape), emdash is not predefined by default and confuses typical LaTeX source;
2010-08-03	Move distribution examples into subdir	David Aspinall

2010-08-03	Fix theory name	David Aspinall

2010-08-03	Deleted file	David Aspinall

2010-08-02	Fix for matching names in regexps, restores behaviour of name-aware code ↵	David Aspinall
	such as imenu.
2010-07-01	isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid	David Aspinall
	spurious warning in Emacs 23.2
2010-06-29	removed some old commands;	Makarius Wenzel

2010-06-29	update from Isabelle2009-2;	Makarius Wenzel

2009-12-07	more robust treatment of spaces in directory names;	Makarius Wenzel

2009-12-03	Revert spurious commits	David Aspinall

2009-12-03	Change of type for proof-script-span-context-menu-extensions	David Aspinall

2009-12-02	Fix compile error (isar-prog-args unknown).	David Aspinall

2009-12-01	Add rest of standard token symbols for alphabets in other fonts	David Aspinall
	(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
2009-12-01	isar-control-char-format-regexp: correct to only affect next char/symbol	David Aspinall
	isar-control-regions: add \<^bisup>..\<^eisup> and \<^bisub>..\<^eisub>
2009-12-01	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
	\< \>) appears to work on Emacs 22, hopefully repairing http://proofgeneral.inf.ed.ac.uk/trac/ticket/300. Also replace proof-splice-separator -> mapconcat builtin.
2009-12-01	typo	David Aspinall

2009-12-01	isar-control-char-format-regexp: prevent subsequent control chars being captured	David Aspinall

2009-11-28	isabelle-set-prog-name: more robust treatment of spaces in arguments;	Makarius Wenzel

2009-11-26	additional menu entries;	Makarius Wenzel

2009-11-24	define isar-pr as load-time constant;	Makarius Wenzel

2009-11-23	Use ProofGeneral.pr if available. See Trac #292.	David Aspinall

2009-11-21	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
	modernized usage, eliminated obsolete options -I, -P, -X, -f; re-interpreted option -x as "unicode symbols";
2009-10-21	menu items for atp_info, atp_kill;	Makarius Wenzel

2009-10-17	disable indent-tabs-mode for theory mode;	Makarius Wenzel

2009-10-14	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-03	Start using new parser, adjusting isar-any-command-regexp.	David Aspinall

2009-09-29	Documentation.	David Aspinall

2009-09-29	inline isar-long-id-stuff	David Aspinall

2009-09-28	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
	`isar-control-char-format-regexp' to markup identifiers
2009-09-27	Follow Upper Case Convention for menu entries	David Aspinall

2009-09-27	display_drafts, print_drafts: query to save buffer	David Aspinall
	Follow Upper Case Convention for menu entries Remove duplicate menu entry: Commands -> set isabelle
2009-09-26	Add pr to print state in case of linear_undo. See Trac #292.	David Aspinall
	Still not ideal: when there is no proof state, we'd prefer that an empty goal screen is displayed.
2009-09-15	Revert accidental commit	David Aspinall

2009-09-15	Fix compile errors	David Aspinall