proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	renamed \<brokenbar> to \<bar>;	Makarius Wenzel	2000-09-14
\| \| \| \|	fixed glyph of \<pounds>;
*	x-symbol-isabelle-electric-ignore: "~=";	Makarius Wenzel	2000-09-14
\|
*	proof-shell-pre-interrupt-hook for PolyML 3 only;	Makarius Wenzel	2000-09-11
\|
*	Changes for selecting object logic, locating executables.	David Aspinall	2000-09-08
\|
*	more quoting;	Makarius Wenzel	2000-09-02
\|
*	Remove Library.timings call, restore compatibility with I99.	David Aspinall	2000-08-28
\|
*	Added setting for proof-shell-set-elisp-variable-regexp	David Aspinall	2000-08-28
\|
*	cd command: add_path;	Makarius Wenzel	2000-08-28
\|
*	conditional load of proof-site.el;	Makarius Wenzel	2000-08-28
\|
*	-w false implies -x false;	Makarius Wenzel	2000-08-28
\| \| \| \|	do not load proof-site.el here;
*	more symbols;	Makarius Wenzel	2000-08-23
\|
*	tuned x-symbol setup;	Makarius Wenzel	2000-08-23
\|
*	Added Fiona's changes.	David Aspinall	2000-08-14
\|
*	smart setup of X-Symbol mode;	Makarius Wenzel	2000-08-09
\|
*	x-symbol-isabelle-electric-ignore: include [[ ]];	Makarius Wenzel	2000-08-03
\|
*	x-symbol-isabelle-prepare-table: avoids redundancy in code, improves	Makarius Wenzel	2000-08-02
\| \| \| \|	on isar version (only 1 backslash);
*	tuned;	Makarius Wenzel	2000-08-02
\|
*	added isa-preprocessing;	Makarius Wenzel	2000-08-02
\|
*	Suggestion from DvO added	David Aspinall	2000-07-26
\|
*	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
\|
*	isabelle-command-line: try to be smart in ensuring proper Isabelle	Makarius Wenzel	2000-07-08
\| \| \| \|	command line, avoiding nil under all circumstances;
*	proof-prog-name: use isabelle-command-line;	Makarius Wenzel	2000-07-08
\|
*	do not change isabelle-prog-name here;	Makarius Wenzel	2000-07-08
\| \| \| \|	be less aggressive in changing x-symbol-enable;
*	Fix to make back() undoable.	David Aspinall	2000-07-05
\|
*	Note about trapping errors	David Aspinall	2000-07-03
\|
*	quick-and-dirty t by default;	Makarius Wenzel	2000-07-03
\|
*	Patch to cope gracefully with empty list of Isabelle documents.	David Aspinall	2000-07-03
\|
*	activate global-timing;	Makarius Wenzel	2000-07-01
\|
*	tuned docs menu;	Makarius Wenzel	2000-07-01
\|
*	Added quick-and-dirty setting -- we can still argue about the default, 8-)	David Aspinall	2000-06-29
\|
*	Tidy	David Aspinall	2000-06-27
\|
*	Added missing proof.	David Aspinall	2000-06-22
\|
*	Fix typo causing missing proof-shell-pre-interrupt-hook.	David Aspinall	2000-06-19
\|
*	proper indentation setup;	Makarius Wenzel	2000-06-16
\|
*	proper indentation;	Makarius Wenzel	2000-06-16
\|
*	Renamed x symbol language name to isabelle (rather big for status line, ↵	David Aspinall	2000-06-16
\| \| \| \|	unfortunately)
*	Tuned x-symbol config, moved settings to isabelle-system.el	David Aspinall	2000-06-16
\|
*	Renamed file	David Aspinall	2000-06-16
\|
*	First attempt at using new indentation for Isabelle. Utterly broken.	David Aspinall	2000-06-15
\|
*	fixed show_sorts;	Makarius Wenzel	2000-06-09
\|
*	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
*	improved isabelle-verbatim-regexp: use \` \' instead of ^ $;	Makarius Wenzel	2000-06-05
\|
*	Added proof-next-error to menu.	David Aspinall	2000-06-05
\|
*	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).
*	fixed output syntax table;	Makarius Wenzel	2000-06-05
\|
*	replaced isa-verbatim by isabelle-verbatim;	Makarius Wenzel	2000-06-04
\|