proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	updated TAGS	Hendrik Tews	2013-02-18
\|
*	update TAGS	Hendrik Tews	2012-11-13
\|
*	update TAGS	Hendrik Tews	2012-10-30
\|
*	Updated.	David Aspinall	2012-09-14
\|
*	Updated	David Aspinall	2012-08-16
\|
*	Add user option proof-next-command-insert-space.	David Aspinall	2012-08-14
\|
*	Updated.	David Aspinall	2012-08-09
\|
*	Updated.	David Aspinall	2012-02-07
\|
*	update TAGS	Hendrik Tews	2012-01-03
\|
*	Updated.	David Aspinall	2011-10-13
\|
*	Updated.	David Aspinall	2011-07-26
\|
*	Update	David Aspinall	2011-06-09
\|
*	Update autogenerated files	David Aspinall	2011-05-16
\|
*	- flushed proof-done-advancing-require-function and	Hendrik Tews	2011-05-05
\| \| \| \| \|	proof-shell-require-command-regexp - TAGS updated to really flush them
*	Updated.	David Aspinall	2011-04-26
\|
*	Updated	David Aspinall	2011-04-13
\|
*	Updated.	David Aspinall	2011-01-30
\|
*	Add additional support for pgipfloat type	David Aspinall	2011-01-11
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Updated	David Aspinall	2010-08-26
\|
*	Updated	David Aspinall	2010-08-24
\|
*	Updated	David Aspinall	2010-08-23
\|
*	Fix compile errors, update tags	David Aspinall	2010-08-16
\|
*	Updated.	David Aspinall	2010-08-03
\|
*	Updated.	David Aspinall	2010-06-27
\|
*	Updated	David Aspinall	2009-12-04
\|
*	Updated	David Aspinall	2009-12-01
\|
*	Updated	David Aspinall	2009-09-21
\|
*	Updated	David Aspinall	2009-09-20
\|
*	Updated	David Aspinall	2009-09-15
\|
*	Updated	David Aspinall	2009-09-10
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Updated	David Aspinall	2009-08-31
\|
*	Updated.	David Aspinall	2009-08-13
\|
*	Updated.	David Aspinall	2009-04-16
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-23
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Updated	David Aspinall	2008-05-26
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-29
\|
*	Updated.	David Aspinall	2008-01-27
\|
*	Updated.	David Aspinall	2008-01-25
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Compilation tweaks	David Aspinall	2008-01-16
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-14
\|