proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	added proof-search-forward, proof-replace-regexp-in-string;	Makarius Wenzel	2005-09-01
\| \| \| \|	avoid (re-)search-forward, which does not observe proof-case-fold-search;
*	eager message: perform pg-remove-specials-in-string after ↵	Makarius Wenzel	2005-09-01
\| \| \| \|	pg-assoc-strip-subterm-markup;
*	added pg-special-char-regexp (used to be a constant in proof-utils.el);	Makarius Wenzel	2005-09-01
\|
*	prefer emacs over xemacs, which rarely works out of the box;	Makarius Wenzel	2005-08-30
\|
*	added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);	Makarius Wenzel	2005-08-26
\|
*	proof-defshortcut isar-local: \<^loc>;	Makarius Wenzel	2005-08-26
\|
*	made ASCII backquote (`) alternative string delimiter;	Makarius Wenzel	2005-08-26
\|
*	isar-goals-font-lock-keywords: calculation;	Makarius Wenzel	2005-08-18
\|
*	isatool fixheaders;	Makarius Wenzel	2005-08-18
\|
*	obsolete;	Makarius Wenzel	2005-08-18
\|
*	Fix lego-shell-adjust-line-width for mutliple frame mode.	David Aspinall	2005-08-14
\|
*	Fix plastic-shell-adjust-line-width for mutliple frame mode.	David Aspinall	2005-08-14
\|
*	Fix isar-shell-adjust-line-width for mutliple frame mode.	David Aspinall	2005-08-14
\|
*	Set version tag for new release.	David Aspinall	2005-08-10
\|
*	Updated.	David Aspinall	2005-08-10
\|
*	Include proofgeneral.1 target. Fix make->(MAKE)	David Aspinall	2005-08-10
\|
*	Update year	David Aspinall	2005-08-10
\|
*	Updated.	David Aspinall	2005-08-10
\|
*	Fix to help menu from Timothy Bourke	David Aspinall	2005-08-10
\|
*	Move some keybindings from script mode to universal keys	David Aspinall	2005-08-10
\|
*	Documentation.	David Aspinall	2005-08-09
\|
*	next-error-regexp seems to have broken; fix it against current Isabelle CVS.	David Aspinall	2005-08-09
\|
*	proof-defshortcut isar-bold;	Makarius Wenzel	2005-08-08
\|
*	Resolve buffer for background resolution prover (Claire Quigley)	David Aspinall	2005-07-27
\|
*	tuned;	Makarius Wenzel	2005-07-19
\|
*	Try to avoid packaging elcs inadvertently	David Aspinall	2005-07-15
\|
*	Add proof-general-version-year	David Aspinall	2005-07-15
\|
*	fix tar arg order	David Aspinall	2005-07-15
\|
*	Set version tag for new release.	David Aspinall	2005-07-15
\|
*	Tweak headers for FC4 build	David Aspinall	2005-07-15
\|
*	Fix distclean to remove x-symbol elc files	David Aspinall	2005-07-15
\|
*	Missing proof-compat in proof-splash	David Aspinall	2005-07-15
\|
*	Update to match desktop entry spec 0.9.4	David Aspinall	2005-07-15
\|
*	Add alpha to fit modern themes	David Aspinall	2005-07-15
\|
*	Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4	David Aspinall	2005-07-15
\|
*	Updated.	David Aspinall	2005-07-15
\|
*	* empty log message *	Christophe Raffalli	2005-07-05
\|
*	* empty log message *	Christophe Raffalli	2005-07-05
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-06-26
\|
*	more general goal pattern;	Makarius Wenzel	2005-06-24
\|
*	Set version tag for new release.	David Aspinall	2005-06-02
\|
*	Update FAQ #1	David Aspinall	2005-06-02
\|
*	Key bindings for proof-shell-exit, proof-shell-start.	David Aspinall	2005-05-31
\|
*	Comments.	David Aspinall	2005-05-31
\|
*	Document proof-shell-start, proof-shell-exit keys	David Aspinall	2005-05-31
\|
*	use physical path;	Makarius Wenzel	2005-05-31
\|
*	tuned;	Makarius Wenzel	2005-05-31
\|
*	removed find_rwrites, print_intros;	Makarius Wenzel	2005-05-22
\|
*	Updated.	David Aspinall	2005-05-17
\|
*	Fix menu path to Customize	David Aspinall	2005-05-17
\|