proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	I am starting to make PG coqV7 compatible, I think the best is to	Pierre Courtieu	2000-11-23
\| \| \| \| \|	allow both V6 and V7 for a while. Theoretically, incompatibilities will not be numerous.
*	disable trace option;	Makarius Wenzel	2000-11-22
\|
*	converted from sh back to bash;	Makarius Wenzel	2000-11-21
\| \| \| \| \|	use "#!/usr/bin/env bash" as interpreter to determine bash from PATH; handle spaces in file names;
*	Set version tag for new release.	David Aspinall	2000-11-17
\|
*	Set version tag for new release.	David Aspinall	2000-11-15
\|
*	* empty log message *	Christophe Raffalli	2000-11-15
\|
*	* empty log message *	Christophe Raffalli	2000-11-13
\|
*	* empty log message *	Christophe Raffalli	2000-11-10
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2000-10-31
\|
*	tuned font-lock-keywords;	Makarius Wenzel	2000-10-30
\|
*	replaced \<macron> by \<inverse> (better than nothing);	Makarius Wenzel	2000-10-30
\|
*	* empty log message *	Christophe Raffalli	2000-10-30
\|
*	Ready for 3.2 changes.	David Aspinall	2000-10-27
\|
*	* empty log message *	Christophe Raffalli	2000-10-27
\|
*	* empty log message *	Christophe Raffalli	2000-10-27
\|
*	font-lock support for antiquotations;	Makarius Wenzel	2000-10-26
\|
*	* empty log message *	Christophe Raffalli	2000-10-26
\|
*	* empty log message *	Christophe Raffalli	2000-10-26
\|
*	Updated.	David Aspinall	2000-10-19
\|
*	Set version tag for new release.	David Aspinall	2000-10-19
\|
*	Second part of moving to 3.3pre series.	David Aspinall	2000-10-19
\|
*	Updated.	David Aspinall	2000-10-18
\|
*	Updated.	David Aspinall	2000-10-18
\|
*	Set version tag for new release.	David Aspinall	2000-10-18
\|
*	Begin move to 3.3 series.	David Aspinall	2000-10-18
\|
*	Updated.	David Aspinall	2000-10-18
\|
*	Set version tag for new release.	David Aspinall	2000-10-18
\|
*	Fix parse error.	David Aspinall	2000-10-18
\|
*	parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);	Makarius Wenzel	2000-10-14
\|
*	support for super- and subscripts (still needs proper per-prover	Makarius Wenzel	2000-10-12
\| \| \| \|	control of x-symbol-subscripts variable);
*	Updated.	David Aspinall	2000-10-03
\|
*	Set version tag for new release.	David Aspinall	2000-10-03
\|
*	Apparently X-Sym web pages have simpler install instructions now.	David Aspinall	2000-10-03
\|
*	added settings: eta-contract, goals-limit, prems-limit;	Makarius Wenzel	2000-10-02
\|
*	Removed link to CHANGES, its buggy	David Aspinall	2000-10-02
\|
*	Updated.	David Aspinall	2000-10-02
\|
*	Updated	David Aspinall	2000-10-02
\|
*	Remove more duplicate entries.	David Aspinall	2000-10-02
\|
*	3-2-1 pending	David Aspinall	2000-10-02
\|
*	Warning about duplicate ChangeLog entries	David Aspinall	2000-10-02
\|
*	Tweak to ChangeLog production	David Aspinall	2000-10-02
\|
*	Remove duplicate entries.	David Aspinall	2000-10-02
\|
*	Updated.	David Aspinall	2000-10-02
\|
*	Mention Isabelle99-1 change	David Aspinall	2000-10-02
\|
*	Set version tag for new release.	David Aspinall	2000-10-02
\|
*	Whoops, left pre-release header in	David Aspinall	2000-10-02
\|
*	Upcoming patch anticipated already.	David Aspinall	2000-10-02
\|
*	Fix recursive make	David Aspinall	2000-10-02
\|
*	Updated.	David Aspinall	2000-10-02
\|
*	Set version tag for new release.	David Aspinall	2000-10-02
\|