proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Replace proof-terminal-char with proof-terminal-string.	David Aspinall	2010-08-27
\|
*	Moved	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.el	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/plastic/README, formerly plastic/README	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/plastic/plastic-syntax.el, formerly ↵	David Aspinall	2010-08-25
\| \| \| \|	plastic/plastic-syntax.el
*	Renamed file obsolete/plastic/test.lf, formerly plastic/test.lf	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.el	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.el	David Aspinall	2010-08-25
\|
*	Renamed file obsolete/demoisa/README, formerly demoisa/README	David Aspinall	2010-08-25