proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	* 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
\|
*	Note about current pre-release being outdated wrt 3.2	David Aspinall	2000-10-02
\|
*	Note about current pre-release being outdated wrt 3.2	David Aspinall	2000-10-02
\|
*	Updated.	David Aspinall	2000-10-02
\|
*	Updated	David Aspinall	2000-10-02
\|
*	Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵	David Aspinall	2000-10-02
\| \| \| \|	proportions.
*	Updated.	David Aspinall	2000-10-02
\|