proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	prefer emacs over xemacs, which rarely works out of the box;	Makarius Wenzel	2005-08-30
\|
*	tuned;	Makarius Wenzel	2005-07-19
\|
*	use physical path;	Makarius Wenzel	2005-05-31
\|
*	added -L option;	Makarius Wenzel	2005-05-17
\| \| \| \|	tuned;
*	undeleted;	Makarius Wenzel	2005-05-10
\|
*	Deleted file	David Aspinall	2005-03-23
\|
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-03-23
\|
*	Repaired fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-07
\|
*	Include /usr/bin/isatool as a possibility	David Aspinall	2004-10-05
\|
*	Fix to `isa-shell-command-to-string' suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Set comment-quote-nested (for Emacs/XEmacs 21.5)	David Aspinall	2004-05-09
\|
*	Patch from Brother Makarius	David Aspinall	2004-05-06
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Fix isa-tool-list-docs for altered form of output from isatool doc	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Add automatic refresh of Logics menu	David Aspinall	2004-04-16
\|
*	Remove title setting	David Aspinall	2004-04-15
\|
*	Remove comment	David Aspinall	2004-04-15
\|
*	Set supported versions of Isabelle (remove 99, 2002 versions).	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Comment.	David Aspinall	2004-04-13
\|
*	Fix comment.	David Aspinall	2004-04-13
\|
*	Fix long-lived typo in setting auto-mode-alist.	David Aspinall	2004-04-13
\|
*	fixed single char sub/super script in goals/response window	Gerwin Klein	2004-04-05
\|
*	Comments	David Aspinall	2004-04-02
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>	Gerwin Klein	2003-12-29
\|
*	removed bold, no longer supported by x-symbol	Gerwin Klein	2003-12-23
\|
*	more cleanup of sub/superscript, removed duplicate subscript-matcher	Gerwin Klein	2003-12-23
\| \| \| \|	removed bold (not supported by x-symbol any more)
*	allow sub/super scripts in identifiers (\<^isub> and \<^isup>)	Gerwin Klein	2003-10-16
\|
*	Add a location under HOME to search path for isatool	David Aspinall	2003-05-23
\|
*	Updated by Gerwin to remove some X-Symbol loading	David Aspinall	2003-04-12
\|
*	Comments	David Aspinall	2003-04-05
\|
*	Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compile	David Aspinall	2003-03-05
\|
*	Add function to parse consts part of syntax output	David Aspinall	2003-03-05
\|
*	Improved version from Gerwin Klein/Christoph Wedler; simplified ↵	David Aspinall	2003-03-03
\| \| \| \|	auto-mode-style setting.
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	auto-coding-alist	David Aspinall	2003-02-22
\|
*	New files.	David Aspinall	2003-02-22
\|
*	Move x-sym config to x-symbol-isa.el	David Aspinall	2003-02-22
\|
*	Experiments with auto-style	David Aspinall	2003-02-22
\|
*	Add backwards compatibility for old pre-PGIP settings mechanism	David Aspinall	2003-02-16
\|
*	Updated.	David Aspinall	2003-02-15
\|
*	Towards isabelle-refresh-logics	David Aspinall	2003-02-15
\|
*	Fix use of replace-regexp-in-string	David Aspinall	2002-12-29
\|
*	Documentation.	David Aspinall	2002-11-28
\|
*	markup ml for Isar	David Aspinall	2002-11-21
\|
*	Make proof-assistants-settings-cmd be evaluated at right time.	David Aspinall	2002-11-20
\|
*	Improve isabelle-choose-logic, and make it clear preferences. Remove all ↵	David Aspinall	2002-11-20
\| \| \| \|	defpacustom usages.
*	Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.	David Aspinall	2002-11-18
\|