proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	More text about Unicode Tokens	David Aspinall	2009-09-08
\| \| \| \|	Remove proof-shell-abort-goal-regexp
*	Configuration changes for shell mode revision.	David Aspinall	2009-09-06
\|
*	Update: mention scomint, remove old variables/functions	David Aspinall	2009-09-06
\|
*	Updated news and credits	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Version	David Aspinall	2009-09-04
\|
*	Update versions	David Aspinall	2009-08-31
\|
*	Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)	David Aspinall	2009-08-28
\|
*	Add recommendation for DejaVu fonts. Update magic.	David Aspinall	2009-08-25
\|
*	Don't make link to index.html	David Aspinall	2009-08-20
\|
*	Updated.	David Aspinall	2009-08-17
\|
*	proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵	David Aspinall	2009-08-17
\| \| \| \|	shell filter functions.
*	Document proof-strict-read-only='retract.	David Aspinall	2009-08-13
\|
*	Remove experimental features node	David Aspinall	2009-08-07
\|
*	Document document centric mechanism. Other updates and additions. Remove ↵	David Aspinall	2009-08-07
\| \| \| \|	experimental features.
*	Tune walkthrough documentation	David Aspinall	2009-07-30
\|
*	Sanitize some email addresses away	David Aspinall	2009-07-30
\|
*	Add proof state hover messages to proof script, along with useful customization.	David Aspinall	2009-05-26
\|
*	Updates for Isabelle2009, new electric terminator behaviour.	David Aspinall	2009-05-26
\|
*	Tweak	David Aspinall	2008-12-05
\|
*	Some minimal updates for 4.0pre	David Aspinall	2008-12-05
\|
*	Fix extra @end defvar	David Aspinall	2008-12-05
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Update for 3.7.1	David Aspinall	2008-07-12
\|
*	Update docstrings	David Aspinall	2008-07-12
\|
*	Fix loading of multiple prover files: set proof-assistant-table to nil so ↵	David Aspinall	2008-07-12
\| \| \| \|	proof-ready-for-assitant works
*	Extend documentation for logic setting mechanism (needs magic update)	David Aspinall	2008-07-10
\|
*	Add doc for `isabelle-chosen-logic\'	David Aspinall	2008-07-10
\|
*	Credit Mitsuharu Yamamoto.	David Aspinall	2008-01-31
\|
*	Update magic	David Aspinall	2008-01-30
\|
*	Comment about maths menu	David Aspinall	2008-01-30
\|
*	Update magic	David Aspinall	2008-01-30
\|
*	Update credits and add section on Unicode support	David Aspinall	2008-01-30
\|
*	Load unicode-tokens.el	David Aspinall	2008-01-30
\|
*	Disable undo in read-only region; add proof-allow-undo-in-read-only setting	David Aspinall	2008-01-29
\|
*	Quote braces properly	David Aspinall	2008-01-24
\|
*	Add key binding for ML {* *} short cut.	David Aspinall	2008-01-24
\|
*	Add keys for new theorems containing commands	David Aspinall	2008-01-24
\|
*	Patch from Mark A. Hillebrand, trac #171	David Aspinall	2008-01-24
\|
*	Disable removal from input history	David Aspinall	2008-01-17
\|
*	Not batch for debug	David Aspinall	2008-01-17
\|
*	Fix included file	David Aspinall	2008-01-17
\|
*	Update dates	David Aspinall	2008-01-17
\|
*	Update documentation. Credits, dates, input ring.	David Aspinall	2008-01-17
\|
*	Update for new startup mechanism.	David Aspinall	2008-01-17
\|
*	Fix typo.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- ↵	David Aspinall	2008-01-14
\| \| \| \|	settings.