proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Updates for 3.4	David Aspinall	2002-07-01
\|
*	GPL, 3.4 dates	David Aspinall	2002-06-21
\|
*	Updated the doc and the CHANGES file about new backtracking for Coq.	Pierre Courtieu	2002-06-19
\|
*	Add doc of proof-shell-last-prompt.	David Aspinall	2002-06-19
\|
*	Fix info	David Aspinall	2002-06-19
\|
*	Add news for PG 3.4	David Aspinall	2002-06-18
\|
*	Update magic. Document nested proof settings.	David Aspinall	2002-06-18
\|
*	Update magic	David Aspinall	2002-06-08
\|
*	updated URLxsymbol (unused);	Makarius Wenzel	2002-05-13
\|
*	Reflect change in load order	David Aspinall	2002-05-03
\|
*	Fix URL for X-symbol	David Aspinall	2002-04-23
\|
*	Document some new settings	David Aspinall	2002-03-21
\|
*	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
\|