proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Issue proof-assistant-settings-cmd standardly after init cmd.	David Aspinall	2005-09-30
\|
*	Rename PGIP packet attribute origin -> tag	David Aspinall	2005-09-30
\|
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
\|
*	negotiate PGASCII only for proof-shell-unicode;	Makarius Wenzel	2005-09-28
\|
*	Make robust against missing advice package	David Aspinall	2005-09-28
\|
*	Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer ↵	David Aspinall	2005-09-27
\| \| \| \|	tabs hack.
*	Shorter aux buffer names	David Aspinall	2005-09-27
\|
*	updated from pre-Isabelle2005;	Makarius Wenzel	2005-09-22
\|
*	Set version tag for new release.	David Aspinall	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	Addition from Tjark Weber for new commands	David Aspinall	2005-09-22
\|
*	Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"	David Aspinall	2005-09-21
\|
*	Updated.	David Aspinall	2005-09-21
\|
*	New files.	David Aspinall	2005-09-21
\|
*	Select EMACS based on xemacs if available, otherwise emacs	David Aspinall	2005-09-21
\|
*	Set version tag for new release.	David Aspinall	2005-09-21
\|
*	Fix PGHOMEDEFAULT	David Aspinall	2005-09-21
\|
*	Tweak.	David Aspinall	2005-09-21
\|
*	Add command menu	David Aspinall	2005-09-21
\|
*	back to xemacs as default;	Makarius Wenzel	2005-09-21
\|
*	I do not remember \!	Christophe Raffalli	2005-09-19
\|
*	better terminate ML code;	Makarius Wenzel	2005-09-18
\|
*	removed (again) -- may use isar/interface -I false instead;	Makarius Wenzel	2005-09-17
\|
*	update examples for Isabelle2005;	Makarius Wenzel	2005-09-17
\|
*	proof-shell-wakeup-char ?\^A	Makarius Wenzel	2005-09-17
\|
*	removed obsolete ML code;	Makarius Wenzel	2005-09-16
\|
*	added note for large x-symbols;	Makarius Wenzel	2005-09-15
\| \| \| \|	added proof-shell-unicode;
*	Set version tag for new release.	David Aspinall	2005-09-15
\|
*	tuned comment;	Makarius Wenzel	2005-09-14
\|
*	oops -- proper customize-set-variable;	Makarius Wenzel	2005-09-14
\|
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\| \| \| \| \|	removed unused Pbp setup; removed 'isabelle-convert-idmarkup-to-subterm, which expects 8bit specials;
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\|
*	added -m PGASCII for Isabelle/Isar process;	Makarius Wenzel	2005-09-14
\|
*	observe PROOFGENERAL_UNICODE as passed by interface script;	Makarius Wenzel	2005-09-14
\|
*	added option -U: Unicode (UTF-8) communication;	Makarius Wenzel	2005-09-14
\|
*	refer to proof-shell-unicode for process-environment and coding-system;	Makarius Wenzel	2005-09-14
\|
*	added proof-shell-unicode;	Makarius Wenzel	2005-09-14
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-09-13
\|
*	tuned isar-keywords-theory-enclose;	Makarius Wenzel	2005-09-06
\|
*	do not include leading space in parameter to isatool doc, i.e.	Gerwin Klein	2005-09-02
\| \| \| \| \| \|	isatool doc "x" instead of isatool doc " x"
*	example output;	Makarius Wenzel	2005-09-01
\|
*	added lemma;	Makarius Wenzel	2005-09-01
\|
*	example theory involving unicode characters (utf-8 encoding);	Makarius Wenzel	2005-09-01
\|
*	renamed thms_containing to find_theorems;	Makarius Wenzel	2005-09-01
\|
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\| \| \| \|	pg-after-fontify-output-hook: always do pg-remove-specials;
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\|
*	tuned ML code for manipulating print_mode;	Makarius Wenzel	2005-09-01
\|
*	tuned ML code for manipulating print_mode;	Makarius Wenzel	2005-09-01
\| \| \| \|	isabelle-convert-idmarkup-to-subterm: proof-re-search-forward, tuned regexp;
*	moved pg-special-char-regexp to proof-config.el;	Makarius Wenzel	2005-09-01
\| \| \| \|	added pg-remove-specials-in-string;