proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Add some more credits	David Aspinall	2010-08-23
\|
*	Add some more credits	David Aspinall	2010-08-23
\|
*	Add doc for Send Automatically option	David Aspinall	2010-08-19
\|
*	Simplify installation instructions	David Aspinall	2010-08-18
\|
*	Fix menu/node order inside internal chapter	David Aspinall	2010-08-15
\|
*	proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.	David Aspinall	2010-08-03
\|
*	Update years, versions.	David Aspinall	2010-07-08
\|
*	Fix menu path to Sticky Errors option.	David Aspinall	2009-12-02
\|
*	Update magic	David Aspinall	2009-12-01
\|
*	Explain fontsets for Emacs 22	David Aspinall	2009-12-01
\|
*	Updates to internal function docs	David Aspinall	2009-11-29
\|
*	Update menu paths and faces.	David Aspinall	2009-11-29
\|
*	Remove function-menu as promised	David Aspinall	2009-10-14
\|
*	Updates	David Aspinall	2009-10-02
\|
*	Update magic	David Aspinall	2009-09-30
\|
*	Unicode Tokens in own chapter. Remove some func menu stuff	David Aspinall	2009-09-30
\|
*	Extended documentation for Tokens to explain layout control.	David Aspinall	2009-09-25
\| \| \| \|	Fix typo in Isar shortcuts. Add links in NEWS section.
*	More changes	David Aspinall	2009-09-21
\|
*	Fix clean targets	David Aspinall	2009-09-21
\|
*	Update docs	David Aspinall	2009-09-15
\|
*	Remove errant ^A	David Aspinall	2009-09-15
\|
*	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
\|