proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	isar-preprocessing: replace \n by \<^newline>;	Makarius Wenzel	2006-02-12
\|
*	isar-goals-font-lock-keywords: "abbreviations";	Makarius Wenzel	2006-02-10
\|
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
\|
*	updated from pre-Isabelle2005;	Makarius Wenzel	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-21
\|
*	New files.	David Aspinall	2005-09-21
\|
*	Tweak.	David Aspinall	2005-09-21
\|
*	Add command menu	David Aspinall	2005-09-21
\|
*	back to xemacs as default;	Makarius Wenzel	2005-09-21
\|
*	update examples for Isabelle2005;	Makarius Wenzel	2005-09-17
\|
*	proof-shell-wakeup-char ?\^A	Makarius Wenzel	2005-09-17
\|
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\| \| \| \| \|	removed unused Pbp setup; removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials;
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\|
*	added option -U: Unicode (UTF-8) communication;	Makarius Wenzel	2005-09-14
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-09-13
\|
*	tuned isar-keywords-theory-enclose;	Makarius Wenzel	2005-09-06
\|
*	renamed thms_containing to find_theorems;	Makarius Wenzel	2005-09-01
\|
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\| \| \| \|	pg-after-fontify-output-hook: always do pg-remove-specials;
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\|
*	tuned ML code for manipulating print_mode;	Makarius Wenzel	2005-09-01
\|
*	prefer emacs over xemacs, which rarely works out of the box;	Makarius Wenzel	2005-08-30
\|
*	added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);	Makarius Wenzel	2005-08-26
\|
*	proof-defshortcut isar-local: \<^loc>;	Makarius Wenzel	2005-08-26
\|
*	made ASCII backquote (`) alternative string delimiter;	Makarius Wenzel	2005-08-26
\|
*	isar-goals-font-lock-keywords: calculation;	Makarius Wenzel	2005-08-18
\|
*	isatool fixheaders;	Makarius Wenzel	2005-08-18
\|
*	obsolete;	Makarius Wenzel	2005-08-18
\|
*	Fix isar-shell-adjust-line-width for mutliple frame mode.	David Aspinall	2005-08-14
\|
*	next-error-regexp seems to have broken; fix it against current Isabelle CVS.	David Aspinall	2005-08-09
\|
*	proof-defshortcut isar-bold;	Makarius Wenzel	2005-08-08
\|
*	tuned;	Makarius Wenzel	2005-07-19
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-06-26
\|
*	more general goal pattern;	Makarius Wenzel	2005-06-24
\|
*	use physical path;	Makarius Wenzel	2005-05-31
\|
*	tuned;	Makarius Wenzel	2005-05-31
\|
*	removed find_rwrites, print_intros;	Makarius Wenzel	2005-05-22
\|
*	added -L option;	Makarius Wenzel	2005-05-17
\| \| \| \|	tuned;
*	Remove junk	David Aspinall	2005-03-25
\|
*	Use another symbol	David Aspinall	2005-03-23
\|
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-02-15
\|
*	Added simple testing framework (in progress)	David Aspinall	2005-02-13
\|
*	Remove print draft from menu	David Aspinall	2004-10-07
\|
*	Tune	David Aspinall	2004-08-25
\|
*	Tune	David Aspinall	2004-08-25
\|
*	Change syntax table for \ from word constituent to escape character.	David Aspinall	2004-08-10
\| \| \| \| \|	Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending).
*	Fix display_drafts -> print_drafts	David Aspinall	2004-07-23
\|
*	Fix index number back for isar-undo-remove-regexp, change isar-remove instead.	David Aspinall	2004-06-17
\|
*	Fix grouping for isar-generic-expression.	David Aspinall	2004-06-17
\|
*	Fix error regexps for matching additional comma printed in position [NB: for ↵	David Aspinall	2004-06-16
\| \| \| \|	PGIP patched position.ML].
*	Last change: added also isar-display-draft isar-print-draft for	David Aspinall	2004-06-16
\| \| \| \|	repository versions of Isabelle.