proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	added -X option;	Makarius Wenzel	2000-09-20
\|
*	installfonts only when using X window system;	Makarius Wenzel	2000-09-19
\|
*	improved xsymbol config: include info dir, only init for XEmacs;	Makarius Wenzel	2000-09-19
\|
*	done: ability to choose logic;	Makarius Wenzel	2000-09-19
\|
*	isa: DEFAULT_FILES="Scratch.thy Scratch.ML";	Makarius Wenzel	2000-09-19
\|
*	Isabelle version: 99-1;	Makarius Wenzel	2000-09-19
\|
*	more robust checking of xsymbol-home;	Makarius Wenzel	2000-09-18
\|
*	silent-cmd and init-cmd: activate Isabelle99-1 versions;	Makarius Wenzel	2000-09-17
\|
*	isabelle-command-line: include -PI options for isar;	Makarius Wenzel	2000-09-17
\| \| \| \|	activate global-timing;
*	this file is now a COPY of isar/interface;	Makarius Wenzel	2000-09-17
\|
*	isatool installfonts (for remote X-Symbol fonts);	Makarius Wenzel	2000-09-15
\|
*	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)