proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Typo; update magic	David Aspinall	2003-06-05
\|
*	Updated magic	David Aspinall	2003-03-17
\|
*	Note about M-x x-symbol-mode	David Aspinall	2003-03-03
\|
*	Update doc of X-Sym	David Aspinall	2003-03-01
\|
*	Added a paragraph in the documentation for the variable coq-version-is-V74.	Pierre Courtieu	2003-02-05
\|
*	Update version number, reorg.	David Aspinall	2002-09-11
\|
*	Add Stefan Monnier	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Update magic	David Aspinall	2002-08-29
\|
*	Update dir entries, remove localdir file	David Aspinall	2002-08-28
\|
*	Updated magic	David Aspinall	2002-08-27
\|
*	Tweak Pierres docs	David Aspinall	2002-08-12
\|
*	Tweak Pierres docs	David Aspinall	2002-08-12
\|
*	Document experimental features; update other descriptions.	David Aspinall	2002-08-12
\|