proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Fixed keyboard shortcuts.	Pierre Courtieu	2006-12-12
\|
*	Fixed coq 8.0 compatibility and coq version detection.	Pierre Courtieu	2006-12-12
\|
*	Set version tag for new release.	David Aspinall	2006-12-11
\|
*	Update, note about Isabelle 2004	David Aspinall	2006-12-11
\|
*	back again for isar;	Makarius Wenzel	2006-12-07
\|
*	isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in ↵	Makarius Wenzel	2006-12-07
\| \| \| \|	post-Isabelle2005 the latter is empty anyway);
*	removed obsolete references to 'isa';	Makarius Wenzel	2006-12-07
\|
*	proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵	Makarius Wenzel	2006-12-07
\| \| \| \|	breaks Poly/MK 5;