proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Doc proof-shell-strip-crs-from-output; update magic	David Aspinall	2002-08-07
\|
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
\|
*	Changed a bit more the doc and the CHANGES file, to be	Pierre Courtieu	2002-07-26
\| \| \| \|	consitent. Concerns the coq-user... variables.
*	The doc for coq-user-... variables is a bit better, their name has	Pierre Courtieu	2002-07-26
\| \| \| \|	changed to be more explicit.
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Mention how to enable X-Symbol.	David Aspinall	2002-07-18
\|
*	More on keybindings: include old x-symbol-isabelle bindings but using super.	David Aspinall	2002-07-18
\|
*	Update magic	David Aspinall	2002-07-18
\|
*	Update magic, move version history to appendix.	David Aspinall	2002-07-18
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Fix authorship	David Aspinall	2002-07-14
\|
*	Remove description of known bugs.	David Aspinall	2002-07-02
\|
*	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
\|