proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-10
\|
*	Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT	Pierre Courtieu	2008-06-06
\| \| \| \|	NOT FOR EMACS22. As byte position is buggy in emacs22.
*	Updated.	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-02-06
\|
*	Updated.	David Aspinall	2008-02-03
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Expand info on X-Symbol Mac	David Aspinall	2008-01-31
\|
*	updated CHANGES	Assia Mahboubi	2008-01-31
\| \| \| \|	added an example file in coq/
*	Say "Partial" for this X-Symbol support	David Aspinall	2008-01-31
\|
*	Mention X-Symbol on native Mac	David Aspinall	2008-01-31
\|
*	Added Assia's contribution to ssreflect mode for coq in CHANGES.	Pierre Courtieu	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	Update doc on token input method. Merge README.exper.	David Aspinall	2008-01-30
\|
*	Comment location for tokens/maths menu.	David Aspinall	2008-01-29
\|
*	Mention Unicode Tokens and undo in read-only region.	David Aspinall	2008-01-28
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Additions for maths menu	David Aspinall	2007-12-12
\|
*	Documentation.	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	added information about optional "Find Theorems" form;	Makarius Wenzel	2007-06-13
\|
*	Comment on remove of proof-indent-pad-eol	David Aspinall	2007-05-15
\|
*	Clarify buf hist activation.	David Aspinall	2007-05-15
\|
*	tuned Isabelle entry;	Makarius Wenzel	2007-05-08
\|
*	Updated.	David Aspinall	2007-02-28
\|
*	Update, note about Isabelle 2004	David Aspinall	2006-12-11
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	Updated.	David Aspinall	2006-09-12
\|
*	update CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated	David Aspinall	2005-09-30
\|
*	added note for large x-symbols;	Makarius Wenzel	2005-09-15
\| \| \| \|	added proof-shell-unicode;
*	Updated.	David Aspinall	2005-03-25
\|
*	Mention Stefan's patches	David Aspinall	2005-03-21
\|
*	Updated for 3.6 release	David Aspinall	2004-08-25
\|
*	point to Coq/README for syntax.	David Aspinall	2004-05-07
\|
*	Updated.	David Aspinall	2004-04-24
\|
*	deleted coq x symbols doc in CHANGES.	Pierre Courtieu	2004-04-23
\|
*	Tweak some text	David Aspinall	2004-04-21
\|
*	Updated.	David Aspinall	2004-04-18
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	little change in CHANGES and in coq syntax table.	Pierre Courtieu	2004-04-15
\|