proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	Use shared span menu	David Aspinall	2002-08-16
*	Name changes; span menu extensions; load theorem dependencies patch.	David Aspinall	2002-08-16
*	Enable variable highlighting in case experimental features enabled.	David Aspinall	2002-08-12
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
*	Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...	David Aspinall	2002-07-19
*	Use x-symbol-enable switch to see whether to include sub/super/bold flks.	David Aspinall	2002-07-18
*	Fix goals font lock keywords.	David Aspinall	2002-07-18
*	Fix sub/sups; defer loading x-symbol-isabelle.	David Aspinall	2002-07-18
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
*	Support subterm help facility	David Aspinall	2002-07-17
*	Refactor several variable names; clean up, doc subterm markup and output disp...	David Aspinall	2002-07-16
*	Add more nags	David Aspinall	2002-07-16
*	Revert some premature changes in x-sym support	David Aspinall	2002-07-16
*	Adjust load order, and try to load a good isar-keywords file. Add several FI...	David Aspinall	2002-07-01
*	Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].	David Aspinall	2002-06-24
*	GPL update	David Aspinall	2002-06-21
*	Fix bug in string syntax in isar-strip-terminators: did this work correctly b...	David Aspinall	2002-06-08
*	tuned isar-strip-terminators;	Makarius Wenzel	2002-05-10
*	tuned comment;	Makarius Wenzel	2002-05-03
*	tuned proof-next-error setup;	Makarius Wenzel	2002-05-03
*	Added support for proof-shell-next-error	David Aspinall	2002-05-03
*	Add support for proof-next-error.	David Aspinall	2002-05-03
*	observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;	Makarius Wenzel	2002-02-12
*	more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;	Makarius Wenzel	2002-02-08
*	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
*	do not set proof-shell-quit-cmd (admits persistent sessions);	Makarius Wenzel	2001-12-21
*	activate proof-shell-spill-output-regexp;	Makarius Wenzel	2001-12-05
*	isar specific commands for bold/sup/sub;	Makarius Wenzel	2001-12-04
*	proof-shell-spill-output-regexp temporarily disabled;	Makarius Wenzel	2001-11-24
*	set proof-shell-spill-output-regexp;	Makarius Wenzel	2001-11-20
*	added isar-help-induct-rules;	Makarius Wenzel	2001-10-04
*	Set proof-goal-with-hole-regexp	David Aspinall	2001-09-03
*	proof-script-integral-proofs t;	Makarius Wenzel	2001-08-30
*	Change of proof span type back to goalsave	David Aspinall	2001-08-28
*	Change buffer-syntactic-context -> proof-buffer-syntactic-context	David Aspinall	2001-08-10
*	proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;	Makarius Wenzel	2001-01-18
*	proof-string-match;	Makarius Wenzel	2001-01-12
*	include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;	Makarius Wenzel	2000-12-28
*	goalsave -> proof	David Aspinall	2000-12-20
*	isar-web-page;	Makarius Wenzel	2000-09-28
*	tuned docstring;	Makarius Wenzel	2000-09-27
*	tuned comment;	Makarius Wenzel	2000-09-21
*	isar-toolbar-entries: remove 'goal and 'qed;	Makarius Wenzel	2000-09-19
*	removed proof-shell-pre-sync-init-cmd (init now handled by -PI options	Makarius Wenzel	2000-09-17
*	removed unused variable C;	Makarius Wenzel	2000-09-03
*	use isar-markup-ml;	Makarius Wenzel	2000-08-30