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
\|
*	Remove uses of defpgdefault in coq-abbrev	Clément Pit--Claudel	2017-03-08
\| \| \| \| \| \|	This file is `require'-d when compiling coq.el, and at that point the proof assistant isn't set to coq yet, so it would define variables prefixed by `nil-' instead of `coq'.
*	Remove compile-time calls to proof-ready-for-assistant	Clément Pit--Claudel	2017-03-08
\| \| \| \| \|	Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el.
*	Fix incorrect uses of defvar	Clément Pit--Claudel	2017-03-08
\| \| \| \| \| \| \|	It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance.
*	save settings not defined with defpacustom (fixes #142)	Hendrik Tews	2017-01-19
\| \| \| \| \| \| \|	- infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual
*	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