proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix most doc issues raised by (checkdoc)	Erik Martin-Dorel	2018-08-23
\|
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Fixing unicode tokens in generic code and in coq.	Pierre Courtieu	2017-03-08
\|
*	Fixing a bad interaction between one unicode token and electric	Pierre Courtieu	2012-09-21
\| \| \| \|	terminator.
*	Add some more tokens for making pretty pictures	David Aspinall	2010-10-10
\|
*	Some more tokens	David Aspinall	2009-10-02
\|
*	Remove more of 80 code	David Aspinall	2009-09-08
\|
*	Add documentation to explain usage.	David Aspinall	2009-09-07
\| \| \| \| \|	Add setting function for dynamic updates. Add further symbols and explanation of two ways of working.
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Spurious 'isabelle ref.	David Aspinall	2009-09-01
\|
*	Move fontsymb properties to library file.	David Aspinall	2009-08-28
\|
*	Add indirection for setting unicode tokens variables to add customize menu ↵	David Aspinall	2009-08-12
\| \| \| \|	options
*	Emulate old behaviour after all	David Aspinall	2009-08-06
\|
*	unicode shortcut alist: literal backslash instead of strange control ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	sequence, e.g. "\\nat" instead of "\nat";
*	New files.	David Aspinall	2008-01-30