proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	- more info on the elements of proof-action-list; the COMMANDS	Hendrik Tews	2011-01-26
\| \| \| \| \|	list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert.
*	- fix 1 second problem	Hendrik Tews	2011-01-26
\| \| \| \|	- add limitations in the docs
*	Add News for 4.1	David Aspinall	2011-01-24
\|
*	Documentation updates	David Aspinall	2011-01-23
\|
*	Update date stamps	David Aspinall	2011-01-19
\|
*	- improved doc nodes Using file variables and Locking Ancestors	Hendrik Tews	2011-01-19
\|
*	- implemented coq-lock-ancestors as described in the docs already	Hendrik Tews	2011-01-18
\|
*	- fix broken external compilation	Hendrik Tews	2011-01-18
\| \| \| \| \| \|	- fix quitting during compilation - substitute "compile" for "recompile" - added documentation
*	Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355	David Aspinall	2011-01-12
\|
*	Whitespace	David Aspinall	2010-10-11
\|
*	Add Adam Megacz to credits	David Aspinall	2010-10-11
\|
*	Cleanups.	David Aspinall	2010-10-10
\|
*	Update documenation of mouse bindings.	David Aspinall	2010-10-10
\| \| \| \| \|	Clean up documentation of holes a bit. Remove some dead comments.
*	Update magic	David Aspinall	2010-10-08
\|
*	Improve autosend doc	David Aspinall	2010-10-08
\|
*	Fully remove section for Coq-specific variables (coq-version-is-*	David Aspinall	2010-10-04
\|
*	Fix some mouse bindings	David Aspinall	2010-10-04
\|
*	Document query identifier	David Aspinall	2010-10-01
\|
*	Update magic, release dates	David Aspinall	2010-10-01
\|
*	Fix for new menu layout. Improve doc for automatic processing, ↵	David Aspinall	2010-09-21
\| \| \| \|	document-centred.
*	Update magic	David Aspinall	2010-08-27
\|
*	Update versions	David Aspinall	2010-08-24
\|
*	Fix image embedding in html	David Aspinall	2010-08-23
\|
*	Update to use @dircategory and @direntry for info	David Aspinall	2010-08-23
\|
*	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
\|
*	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
\|
*	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
\|
*	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
\|
*	Update docs	David Aspinall	2009-09-15
\|
*	Configuration changes for shell mode revision.	David Aspinall	2009-09-06
\|
*	Updated news and credits	David Aspinall	2009-09-05
\|
*	Version	David Aspinall	2009-09-04
\|
*	Update versions	David Aspinall	2009-08-31
\|
*	Add recommendation for DejaVu fonts. Update magic.	David Aspinall	2009-08-25
\|
*	Updated.	David Aspinall	2009-08-17
\|
*	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
\|