proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanups.	David Aspinall	2010-10-10
\|
*	Update magic	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
\|
*	Remove extra nav bars in html. Clean html subdirs on distclean	David Aspinall	2010-08-23
\|
*	-prefix -> --output	David Aspinall	2010-08-23
\|
*	texi2html: add -prefix to give same as old behaviour (sub-directory).	David Aspinall	2010-08-23
\|
*	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
\|
*	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.