proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Make coq-mode work without generic/proof-*	Stefan Monnier	2018-12-26
*	* coq-mode.el: New file to make coq-mode independent from PG	Stefan Monnier	2018-12-22
*	Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.	Stefan Monnier	2018-12-15
*	Use `cl-lib` instead of `cl` everywhere	Stefan Monnier	2018-12-13
*	Cleanup patch; Moving defvar to toplevel	Stefan Monnier	2018-12-12
*	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 mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
*	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
*	Remove unnecessary calls to 'eval-and-compile'	Clément Pit--Claudel	2017-03-08
*	Remove some Emacs <24.1 compatibility cruft	Clément Pit--Claudel	2017-03-08
*	Fix incorrect uses of defvar	Clément Pit--Claudel	2017-03-08
*	Fixing unicode tokens in generic code and in coq.	Pierre Courtieu	2017-03-08
*	Ensure PG overlays have pg-span property (#98)	Tej Chajed	2016-08-25
*	Summary: Fix to work with dark color themes (stipple with header-line face)	David Aspinall	2015-03-13
*	(fixes last commit) Added a command to send Queries to coq, with completion (...	Pierre Courtieu	2015-03-13
*	Summary: Remove obsolete function	David Aspinall	2015-03-05
*	Don't mess with overlay priorities.	Stefan Monnier	2014-06-06
*	Added comment.	Pierre Courtieu	2013-07-22
*	Small fix in holes code.	Pierre Courtieu	2012-09-19
*	Fix compile for Emacs 24	David Aspinall	2012-09-04
*	Remove functions defined for Emacs 22 compatibility	David Aspinall	2012-09-02
*	Summary: Don't quote lambda expressions	Stefan Monnier	2012-08-30
*	Emacs 24 update	David Aspinall	2012-08-16
*	Emacs 24 compatibility (ucs-insert -> insert-char)	David Aspinall	2012-08-16
*	Simplified file variable code for coq.	Pierre Courtieu	2012-07-11
*	Use proof-add-to-load-path to extend load-path. This way,	Hendrik Tews	2012-05-08
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable without...	David Aspinall	2012-04-30
*	fix compilation with emacs23-nox of Debian	Hendrik Tews	2012-03-01
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...	David Aspinall	2011-10-13
*	Docstring	David Aspinall	2011-04-18
*	Support delete selection mode on remapped delete commands	David Aspinall	2011-02-23
*	Make proof-assistant-settings follow currently available dynamic settings, an...	David Aspinall	2011-01-31
*	ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).	David Aspinall	2011-01-26
*	Remove dead code	David Aspinall	2011-01-25
*	- change 'span-delete-action in 'span-delete-actions, which is	Hendrik Tews	2011-01-24
*	Summary: New indentation code using SMIE	Stefan Monnier	2010-11-15
*	Failed attempt to fix font lock customizations for elisp	David Aspinall	2010-10-01
*	span-make-modifying-removing-span: add utility	David Aspinall	2010-10-01
*	Clean up invisibility spec	David Aspinall	2010-09-08
*	Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....	David Aspinall	2010-08-27
*	Bring syntactic context functions together	David Aspinall	2010-08-25
*	unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...	David Aspinall	2010-08-24
*	Default to non-italic symbol font variant for Mac OS X. Simplify font changi...	David Aspinall	2010-08-19
*	unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead	David Aspinall	2010-08-18
*	Tune profiling	David Aspinall	2010-08-18
*	Load elp first	David Aspinall	2010-08-18
*	hack to ELP to give better readability of profile results, in milliseconds	David Aspinall	2010-08-18
*	unicode-tokens-symbol-font-face: default to italic and support setting	David Aspinall	2010-08-11
*	span-mapcar-spans-inorder: added for pg-movie production	David Aspinall	2010-08-03