proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Changed the type of proof-goal-command-p. It takes now a span, which	Pierre Courtieu	2006-04-26
*	isar-preprocessing: replace \n by \<^newline>;	Makarius Wenzel	2006-02-12
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
*	Tweak.	David Aspinall	2005-09-21
*	Add command menu	David Aspinall	2005-09-21
*	proof-shell-wakeup-char ?\^A	Makarius Wenzel	2005-09-17
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
*	renamed thms_containing to find_theorems;	Makarius Wenzel	2005-09-01
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
*	proof-defshortcut isar-local: \<^loc>;	Makarius Wenzel	2005-08-26
*	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
*	removed find_rwrites, print_intros;	Makarius Wenzel	2005-05-22
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-02-15
*	Remove print draft from menu	David Aspinall	2004-10-07
*	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 error regexps for matching additional comma printed in position [NB: for ...	David Aspinall	2004-06-16
*	Last change: added also isar-display-draft isar-print-draft for	David Aspinall	2004-06-16
*	Fix for name matching changes grouping in isar-undo-remove-regexp.	David Aspinall	2004-06-16
*	Add functions for displaying/printing draft.	David Aspinall	2004-06-13
*	Set comment-quote-nested (for Emacs/XEmacs 21.5)	David Aspinall	2004-05-09
*	Patch from Brother Makarius	David Aspinall	2004-05-06
*	Add shortcuts for new X-Symbol sequences.	David Aspinall	2004-04-17
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...	David Aspinall	2004-04-17
*	Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar	David Aspinall	2004-04-15
*	Add imenu support.	David Aspinall	2004-04-14
*	Fix to proof-goal-with-hole-result to agree with isar-syntax.el	David Aspinall	2004-04-14
*	fixed regexp problem with function menu	Gerwin Klein	2004-04-14
*	Set proof-goal-with-hole-result to account for use of shy grouping in goal-wi...	David Aspinall	2004-04-13
*	Update email and web addresses	David Aspinall	2004-02-08
*	removed bold, no longer supported by x-symbol	Gerwin Klein	2003-12-23
*	Remove proof-shell-interactive-input-regexp again!	David Aspinall	2003-10-05
*	Set proof-shell-interactive-input-regexp	David Aspinall	2003-10-05
*	Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...	David Aspinall	2003-06-08
*	Set proof-shell-identifier-under-mouse-cmd	David Aspinall	2003-06-08
*	Make find-and-forget robust for proverproc regions	David Aspinall	2003-06-05
*	Remove isa-mode from automode alist, to allow SML mode in preference	David Aspinall	2003-04-15
*	Move x-sym config to x-symbol-isar.el	David Aspinall	2003-02-22
*	Documentation.	David Aspinall	2003-02-18
*	Documentation.	David Aspinall	2003-02-16
*	Add backwards compatibility for old pre-PGIP settings mechanism	David Aspinall	2003-02-16
*	- Moved "show me" menu one level up in the menu hierarchy	Stefan Berghofer	2003-02-03
*	Docstring	David Aspinall	2002-11-28
*	Updated.	David Aspinall	2002-11-21
*	Make proof-assistants-settings-cmd be evaluated at right time.	David Aspinall	2002-11-20
*	Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.	David Aspinall	2002-11-18
*	Add trigger for <pgip messages	David Aspinall	2002-11-08
*	Shorten mode names. Comment about parsing prob.	David Aspinall	2002-09-11