proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set comment-quote-nested (for Emacs/XEmacs 21.5)	David Aspinall	2004-05-09
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Move x-sym config to x-symbol-isa.el	David Aspinall	2003-02-22
\|
*	Add backwards compatibility for old pre-PGIP settings mechanism	David Aspinall	2003-02-16
\|
*	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
\|
*	Remove isabelle image from splash screen	David Aspinall	2002-08-29
\|
*	New theorem deps settings	David Aspinall	2002-08-29
\|
*	proper setup for theorem dependencies;	Makarius Wenzel	2002-08-27
\|
*	Add span menu for thm_deps	David Aspinall	2002-08-16
\|
*	Variable name change	David Aspinall	2002-08-16
\|
*	Enable variable highlighting in case experimental features enabled.	David Aspinall	2002-08-12
\|
*	Simplify theorem dep / Isabelle patch loading	David Aspinall	2002-08-08
\|
*	Set proof-shell-show-dependency-cmd	David Aspinall	2002-08-08
\|
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
\|
*	Support subterm help facility (not quite working)	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Fix comment	David Aspinall	2002-06-24
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Fix for E21 with isa-pre-shell-start.	David Aspinall	2002-04-23
\|
*	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\|
*	Add settings for testing trace buffers.	David Aspinall	2001-09-03
\|
*	Add setting for turning on theorem dependency tracking	David Aspinall	2001-08-31
\|
*	proof-string-match;	Makarius Wenzel	2001-01-12
\|
*	Fix loading thy mode fist problem: require proof-script since context	David Aspinall	2001-01-12
\| \| \| \|	menus are now added for response/goals buffer, which requires proof mode.
*	Dont use customize-set-variable for add splash logo	David Aspinall	2000-09-27
\|
*	silent-cmd and init-cmd: activate Isabelle99-1 versions;	Makarius Wenzel	2000-09-17
\|
*	Added setting for proof-shell-set-elisp-variable-regexp	David Aspinall	2000-08-28
\|
*	cd command: add_path;	Makarius Wenzel	2000-08-28
\|
*	added isa-preprocessing;	Makarius Wenzel	2000-08-02
\|
*	Remove accidental testing setq left in.	David Aspinall	2000-07-20
\|
*	experiments with theorem dependencies	David Aspinall	2000-07-19
\|
*	reverting to last version	David Aspinall	2000-07-19
\|
*	file for theorem dependencies	fionam	2000-07-19
\|
*	proof-prog-name: use isabelle-command-line;	Makarius Wenzel	2000-07-08
\|
*	Fix to make back() undoable.	David Aspinall	2000-07-05
\|
*	Tidy	David Aspinall	2000-06-27
\|
*	proper indentation setup;	Makarius Wenzel	2000-06-16
\|
*	Tuned x-symbol config, moved settings to isabelle-system.el	David Aspinall	2000-06-16
\|
*	First attempt at using new indentation for Isabelle. Utterly broken.	David Aspinall	2000-06-15
\|
*	adapted to new indentation setup;	Makarius Wenzel	2000-06-08
\|
*	Removed disable of simp tracing from enable/disable pr, desired ↵	David Aspinall	2000-06-07
\| \| \| \|	functionality now in Isabelle's update_thy for PG
*	Added settings for proof-next-error.	David Aspinall	2000-06-05
\| \| \| \| \|	Added switch off of simplifier tracing to quiet command (not good enough -- need help from Isabelle for that really).
*	Added old completion table from Isamode. Added code to automatically add ↵	David Aspinall	2000-05-31
\| \| \| \|	completion for x-symbol tokens.