proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	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
\|
*	Update documentation. Credits, dates, input ring.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Update	David Aspinall	2008-01-05
\|
*	Update docstring magic	David Aspinall	2007-12-14
\|
*	Rename: proof-show-debug-messages -> proof-general-debug.	David Aspinall	2007-12-14
\|
*	Fix walkthrough to match Isabelle 2007	David Aspinall	2007-12-09
\|
*	Extra first section on installation	David Aspinall	2007-12-09
\|
*	Fix broken texi magic strings.	David Aspinall	2007-06-19
\|
*	Account for new default behaviour of texi2html, using subdir for manuals	David Aspinall	2007-06-19
\|
*	Fix walk through example for Isabelle2007, including missing line	David Aspinall	2007-05-10
\| \| \| \|	pointed out by Ivan Filippenko.
*	Tweaks to bugs section	David Aspinall	2007-03-03
\|
*	Remove old Isabelle section and references to it; clean up and streamline ↵	David Aspinall	2007-03-03
\| \| \| \|	Isabelle/Isar section
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Stop texi2html complaining about unknown command @c=====	David Aspinall	2006-05-26
\|
*	Modified documentation abou file variables to be compliant with new	Pierre Courtieu	2006-04-26
\| \| \| \|	xxx-prog-args variabel.
*	Addition from Tjark Weber for new commands	David Aspinall	2005-09-22
\|
*	Document proof-shell-start, proof-shell-exit keys	David Aspinall	2005-05-31
\|
*	Fix menu path to Customize	David Aspinall	2005-05-17
\|
*	Updated the doc for new pg/coq. Made modifications advised by Stefan	Pierre Courtieu	2005-02-17
\| \| \| \|	Monnier on holes.el.
*	Update for 3.6	David Aspinall	2004-08-25
\|
*	Update magic, dates	David Aspinall	2004-06-04
\|
*	Update versions and dates. Extra section in adapting for syntax table, etc.	David Aspinall	2004-05-09
\|
*	Fixup whitespace.	David Aspinall	2004-05-06
\|
*	Update magic	David Aspinall	2004-04-27
\|
*	Update magic.	David Aspinall	2004-04-24
\|
*	Escape { and }	David Aspinall	2004-04-17
\|
*	Add missing menu entry.	David Aspinall	2004-04-17
\|
*	Update magic	David Aspinall	2004-04-17
\|
*	Numerous updates and improvements:	David Aspinall	2004-04-17
\| \| \| \| \| \| \| \| \|	- Walkthrough changed from LEGO to Isabelle/Isar - Documentation of new shortcuts in Isar - Documentation of Isabelle's Settings/Logics choice - Documentation of PG Shell - Date updates, version updates - Personnel updates
*	Document Imenu/Speedbar. Update contributors.	David Aspinall	2004-04-16
\|
*	added little doc for holes.	Pierre Courtieu	2004-04-15
\|
*	Update version to 3.5	David Aspinall	2004-04-03
\|
*	Update documentation of different display modes	David Aspinall	2004-04-02
\|
*	Fix more proofgeneral.org	David Aspinall	2004-03-23
\|
*	Update date	David Aspinall	2004-03-23
\|
*	Intro to 3.5 version, Emacs version update	David Aspinall	2004-03-23
\|
*	Update last updated stamp	David Aspinall	2004-03-23
\|
*	Fix link	David Aspinall	2004-02-08
\|
*	Update magic	David Aspinall	2004-02-08
\|