proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	added \<index> symbol;	Makarius Wenzel	2001-11-08
\|
*	added \<lozenge> and \<struct>;	Makarius Wenzel	2001-11-07
\|
*	support \<^bold> control symbols;	Makarius Wenzel	2001-09-26
\|
*	tuned usage;	Makarius Wenzel	2001-09-06
\|
*	added option -P: actually start Proof General (default true);	Makarius Wenzel	2001-09-04
\|
*	no need to adjust the path to bash on the first line (due to /usr/bin/env);	Makarius Wenzel	2001-09-04
\|
*	Accidental commit; revert to original.	David Aspinall	2001-09-03
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Add settings for testing trace buffers.	David Aspinall	2001-09-03
\|
*	handle relative heap paths gracefully;	Makarius Wenzel	2001-08-31
\|
*	Add simulations of more qed commands, also sort and uniquify dependencies.	David Aspinall	2001-08-31
\|
*	Fix for names of functions in proof-depends	David Aspinall	2001-08-31
\|
*	Add setting for turning on theorem dependency tracking	David Aspinall	2001-08-31
\|
*	Update for Isabelle99-2	David Aspinall	2001-08-31
\|