proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Clean up customization groups for defpacustom and defpgcustom. See ↵	David Aspinall	2011-05-16
\| \| \| \|	http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html.
*	Only make settings commands for dynamic settings which differ from their ↵	David Aspinall	2011-01-31
\| \| \| \|	defaults
*	Make proof-assistant-settings follow currently available dynamic settings, ↵	David Aspinall	2011-01-31
\| \| \| \|	and keep possibly customized variables bound. Closes Trac #387.
*	Improve handling of dynamic preferences. Addresses Trac #387.	David Aspinall	2011-01-31
\|
*	Fix quoting in 'float patch.	David Aspinall	2011-01-12
\|
*	Add additional support for pgipfloat type	David Aspinall	2011-01-11
\|
*	'float -> 'number	David Aspinall	2011-01-11
\|
*	defpacustom: support for 'float type	David Aspinall	2011-01-11
\|
*	Comment	David Aspinall	2010-10-01
\|
*	Move some var+macro to fix compilation	David Aspinall	2010-08-11
\|
*	Support custom syntactic fontification. Split out pa macros.	David Aspinall	2010-08-11