proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Enable variable highlighting in case experimental features enabled.	David Aspinall	2002-08-12
\|
*	Updated	David Aspinall	2002-08-12
\|
*	Simplify theorem dep / Isabelle patch loading	David Aspinall	2002-08-08
\|
*	Remove proof-shared-menu.	David Aspinall	2002-08-08
\|
*	Set proof-shell-show-dependency-cmd	David Aspinall	2002-08-08
\|
*	Updated for Isabelle2002.	David Aspinall	2002-08-08
\|
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Support missing/faked isatool	David Aspinall	2002-07-19
\|
*	Merge changes and comments sent by Christoph Wedler	David Aspinall	2002-07-19
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Bug in load-isar-keywords	David Aspinall	2002-07-19
\|
*	Nuke X-sym warnings	David Aspinall	2002-07-18
\|
*	Cleanups	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 (not quite working)	David Aspinall	2002-07-17
\|
*	Update versions/TODO	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Fix typo.	David Aspinall	2002-07-16
\|
*	Add conversion of idmarkup to subterm	David Aspinall	2002-07-16
\|
*	Patch so works without x-symbol	David Aspinall	2002-07-16
\|
*	Merge patches from Christoph, and add Isabelle/Isar capabilities	David Aspinall	2002-07-16
\|
*	Tracing bug	David Aspinall	2002-07-14
\|
*	Doc difference between isa and isar, fix prob with isa support.	David Aspinall	2002-07-01
\|
*	Added isabelle-load-isar-keywords mimic of script startup.	David Aspinall	2002-07-01
\|
*	Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes	David Aspinall	2002-06-30
\|
*	Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.	David Aspinall	2002-06-30
\|
*	Add Emacs mode comments at top	David Aspinall	2002-06-24
\|
*	Move auto-mode-alist hack here now Isar is default.	David Aspinall	2002-06-24
\|
*	Fix comment	David Aspinall	2002-06-24
\|
*	[TESTING] support for latest version of X-Symbol (back compat broken).	David Aspinall	2002-06-24
\|
*	Hack to avoid loading x-symbol-isabelle	David Aspinall	2002-06-24
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)	David Aspinall	2002-05-21
\|
*	Updated list of SML keywords	David Aspinall	2002-04-24
\|
*	Add syntax highlighting cahanges from Lucas Dixon	David Aspinall	2002-04-23
\|
*	Fix for E21 with isa-pre-shell-start.	David Aspinall	2002-04-23
\|
*	option -g GEOMETRY;	Makarius Wenzel	2002-02-12
\|
*	full-proofs setting;	Makarius Wenzel	2002-01-21
\|
*	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\|
*	Whitespace	David Aspinall	2002-01-16
\|
*	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
\|
*	trace_rules flag;	Makarius Wenzel	2001-12-27
\|
*	updated;	Makarius Wenzel	2001-12-27
\|
*	incorporate smart X11 font installation (used to be in isatool installfonts);	Makarius Wenzel	2001-12-12
\|
*	added symbols for alternative 0..9;	Makarius Wenzel	2001-12-04
\|
*	\<euro> symbol;	Makarius Wenzel	2001-12-01
\| \| \| \| \|	use previously defined x-symbol-isabelle-user-table (or nil); x-symbol-user-table achieves electric \|- and \|= symbols;
*	option -k for logic specific isar-keywords file;	Makarius Wenzel	2001-11-13
\|