proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Explain how to configure Imenu.	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 magic	David Aspinall	2004-04-02
\|
*	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
\|
*	Doc unrecognized option behaviour	David Aspinall	2004-03-01
\|
*	Better title	David Aspinall	2004-03-01
\|
*	Add man page, remove ps file from distrib.	David Aspinall	2004-02-29
\|
*	New files.	David Aspinall	2004-02-29
\|
*	Renamed file	David Aspinall	2004-02-29
\|
*	Add -no-site-file to batch xemacs.	David Aspinall	2004-02-29
\|
*	Fix link	David Aspinall	2004-02-08
\|
*	Update some urls	David Aspinall	2004-02-08
\|
*	Update magic	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Fix link to portrait	David Aspinall	2004-02-08
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Update magic	David Aspinall	2003-06-05
\|
*	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
\|
*	Doc new proof-zap-commas	David Aspinall	2002-08-31
\|
*	Add -q to emacs	David Aspinall	2002-08-31
\|
*	Add Stefan Monnier	David Aspinall	2002-08-29
\|
*	Remove proof-splash-extensions	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Update magic	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	David Aspinall	2002-08-27
\|
*	Add PG adapting.	David Aspinall	2002-08-27
\|
*	Tweak Pierres docs	David Aspinall	2002-08-12
\|
*	Tweak Pierres docs	David Aspinall	2002-08-12
\|
*	Update magic	David Aspinall	2002-08-12
\|
*	Document experimental features; update other descriptions.	David Aspinall	2002-08-12
\|
*	Doc comments also under vis control	David Aspinall	2002-08-09
\|
*	Authorship, comments.	David Aspinall	2002-08-08
\|
*	Fix markup	David Aspinall	2002-08-08
\|
*	Fix email addresses; tweaks.	David Aspinall	2002-08-08
\|
*	Trivial.	David Aspinall	2002-08-08
\|