proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\|
*	Document the tracing buffer; FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\|
*	update from make process;	Makarius Wenzel	2001-12-04
\|
*	isar specific commands for bold/sup/sub;	Makarius Wenzel	2001-12-04
\|
*	Update magic	David Aspinall	2001-09-24
\|
*	New line	David Aspinall	2001-09-24
\|
*	Another bug reporter	David Aspinall	2001-09-24
\|
*	Link uref nicely	David Aspinall	2001-09-13
\|
*	Minor improvements	David Aspinall	2001-09-13
\|
*	Updates from an old printout of the manual	David Aspinall	2001-09-13
\|
*	Remove spurious comment at start	David Aspinall	2001-09-10
\|
*	Update docs.	David Aspinall	2001-09-09
\|
*	Mention pg-toggle-visibility and its keybinding	David Aspinall	2001-09-05
\|
*	Todo	David Aspinall	2001-09-05
\|
*	Update version numbers, time stamps.	David Aspinall	2001-09-03
\|
*	Note of what to do	David Aspinall	2001-09-03
\|
*	Something about dependencies feature	David Aspinall	2001-08-31
\|
*	Fix web page for kit	David Aspinall	2001-08-28
\|
*	added something in the doc about coq-version-is-V7.	Pierre Courtieu	2001-08-28
\|
*	Document visibility control	David Aspinall	2001-08-16
\|
*	Update last updated, copyright	David Aspinall	2001-08-01
\|
*	AF2 -> PhoX name change	David Aspinall	2001-05-29
\|
*	Minor	David Aspinall	2001-05-16
\|
*	Change info dir entry to appear next to Proof General entry.	David Aspinall	2001-05-08
\|
*	Fix section title for makeinfo	David Aspinall	2001-05-08
\|
*	Updates for 3.3	David Aspinall	2001-05-08
\|
*	Try to disable image for now	David Aspinall	2001-05-01
\|
*	Updated magic	David Aspinall	2001-03-20
\|
*	Use PS fonts in PS file	David Aspinall	2001-03-20
\|
*	updated thms_containing;	Makarius Wenzel	2001-02-01
\|
*	Fix magic	David Aspinall	2000-12-20
\|
*	Document proof-shell-last-output and friends	David Aspinall	2000-12-20
\|
*	3.2 -> 3.3pre	David Aspinall	2000-12-01
\|
*	* empty log message *	Christophe Raffalli	2000-11-13
\|
*	* empty log message *	Christophe Raffalli	2000-11-10
\|
*	Fix recursive make	David Aspinall	2000-10-02
\|
*	Updated magic	David Aspinall	2000-10-02
\|
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Subtitle caps	David Aspinall	2000-10-02
\|
*	Typos in credits section	David Aspinall	2000-09-29
\|
*	Added credits section	David Aspinall	2000-09-29
\|
*	Date becomes Oct	David Aspinall	2000-09-28
\|
*	Tweaks	David Aspinall	2000-09-28
\|
*	Fix typo, add credit.	David Aspinall	2000-09-28
\|
*	Add default target	David Aspinall	2000-09-28
\|
*	Added extra section on how to tweak script input to the shell	David Aspinall	2000-09-28
\|
*	proper spelling: "Leonor Prensa Nieto";	Makarius Wenzel	2000-09-27
\| \| \| \| \|	fixed @kindex for LEGO and Coq; Isabelle Proof General: cover Isabelle/Isar as well;
*	Added future section, fixed URLs. Updated to mention ↵	David Aspinall	2000-09-27
\| \| \| \|	proof-script-sexp-commands.
*	Shortened BUGs appendix, other improvements	David Aspinall	2000-09-27
\|