proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Adapting error highlighting (coq) to x-symbol.	Pierre Courtieu	2007-04-20
\|
*	Add a shrink adapting hook for coq response buffer.	Pierre Courtieu	2007-04-20
\|
*	Adding comments to experimental response buffer height adapting.	Pierre Courtieu	2007-04-18
\|
*	Experimental feature: in three buffer mode: shrink response window as	Pierre Courtieu	2007-04-16
\| \| \| \|	much as possible.
*	Fixed a parenthesis, suggested by Stefan Monnier.	Pierre Courtieu	2007-04-16
\|
*	Small fixes from Stefan Monnier.	Pierre Courtieu	2007-04-16
\|
*	Patch from Stefan Monnier.	Pierre Courtieu	2007-04-16
\|
*	Adapted to hybrid response/goals outputs from coq. We need something	Pierre Courtieu	2007-04-16
\| \| \| \|	generic on that. Currently I use proof-shell-process-output-system-specific.
*	Made coq version 8.1 the default.	Pierre Courtieu	2007-04-16
\|
*	Change in a regexp for coq-shell-prompt.	Pierre Courtieu	2007-03-26
\|
*	Fix links to BUGS and FAQ	David Aspinall	2007-03-19
\|
*	Mention coq-utf-safe	David Aspinall	2007-03-17
\|
*	Prefer emacs before xemacs now	David Aspinall	2007-03-12
\|
*	Set version tag for new release.	David Aspinall	2007-03-12
\|
*	Updated.	David Aspinall	2007-03-12
\|
*	* empty log message *	Pierre Courtieu	2007-03-08
\|
*	Choose Emacs instead of XEmacs	David Aspinall	2007-03-04
\|
*	Choose Emacs instead of XEmacs	David Aspinall	2007-03-04
\|
*	Set version tag for new release.	David Aspinall	2007-03-04
\|
*	Updated.	David Aspinall	2007-03-03
\|
*	Tweaks to bugs section	David Aspinall	2007-03-03
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)	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
*	Switch to 3.7pre	David Aspinall	2007-03-03
\|
*	Set version tag for new release.	David Aspinall	2007-03-03
\|
*	Use replace-regexp instead of proof-replace-regexp to clean chars	David Aspinall	2007-03-03
\|
*	Patch for XEmacs 21.5 beta match-replace bug	David Aspinall	2007-03-03
\|
*	Remove proof-indent-pad-eol atrocity	David Aspinall	2007-02-28
\|
*	Updated.	David Aspinall	2007-02-28
\|
*	Fix comment	David Aspinall	2007-02-28
\|
*	Renamed file	David Aspinall	2007-02-28
\|
*	Note on sudo and cp -p clash	David Aspinall	2007-02-27
\|
*	Mention prefer-coding-system as suggested by Florian Haftmann	David Aspinall	2007-02-22
\|
*	New files.	David Aspinall	2007-02-08
\|
*	Patch x-symbol problem with XEmacs beta	David Aspinall	2007-01-20
\|
*	Correct mail domain	David Aspinall	2007-01-20
\|
*	Tweak.	David Aspinall	2007-01-20
\|
*	Comment about undo; use	David Aspinall	2007-01-10
\|
*	Set version tag for new release.	David Aspinall	2007-01-09
\|
*	Demonstrate faulty error reporting. Somewhat obscure, unless some	David Aspinall	2007-01-03
\| \| \| \|	tactics are using Output.error_msg rather than the "error" function.
*	Add FAQ on funny symbols/x-symbol problems	David Aspinall	2007-01-03
\|
*	Compatibility notes	David Aspinall	2007-01-03
\|
*	tuned;	Makarius Wenzel	2006-12-30
\|
*	Added some keywords ("Declare Module Import"...).	Pierre Courtieu	2006-12-22
\|
*	Remove thy-mode from isa	David Aspinall	2006-12-20
\|
*	Remove isa dir	David Aspinall	2006-12-20
\|
*	Set version tag for new release.	David Aspinall	2006-12-20
\|
*	Support older version of define-minor-mode	David Aspinall	2006-12-19
\|
*	Added completion to coq-prog-name asking.	Pierre Courtieu	2006-12-13
\|