proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2018-12-13	Use `cl-lib` instead of `cl` everywhere	Stefan Monnier
	Use lexical-binding in a few files where it was easy. Don't require `proof-compat` when it's not used. * coq/coq-db.el: Use lexical-binding. * coq/coq-system.el: Use lexical-binding. (coq--extract-prog-args): Use concatenated-args rather than recomputing it. * coq/coq.el: Require `span` to silence some warnings. * generic/pg-user.el: Use lexical-binding. (complete, add-completion, completion-min-length): Silence warnings. * generic/pg-xml.el: Use lexical-binding. (pg-xml-string-of): Prefer mapconcat to reduce+concat. * generic/proof-depends.el: Use lexical-binding. (proof-dep-split-deps): Use `push`. * generic/proof-shell.el: Require `span` to silence some warnings. (proof-shell-invisible-command): Don't use lexical-let just to build a wasteful η-redex! * lib/holes.el: Use lexical-binding. Remove redundant :group args. * lib/span.el: Use lexical-binding. (span-read-only-hook): Use user-error. (span-raise): Remove, unused.
2018-02-21	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel

2017-05-05	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel
	This fixes a bunch of compilation warnings
2010-08-27	Remove double footer	David Aspinall

2010-08-08	Checkdoc cleanups	David Aspinall

2009-09-10	Experimental changes to queue several commands at once and to allow ↵	David Aspinall
	pre-processing of commands when they're queued from script
2009-09-10	Clean compile	David Aspinall

2009-09-05	Clean whitespace	David Aspinall

2008-07-24	Fix for deferred loading of maths menu.	David Aspinall

2008-07-24	Merge changes from Version4Branch.	David Aspinall

2008-02-06	Use proof-auxmodes to load auxiliary modes properly when required.	David Aspinall

2008-01-17	Fix typo.	David Aspinall

2008-01-17	XEmacs comp error: obscure undefined define-key-after comes from ↵	David Aspinall
	proof-maths-menu.
2008-01-17	Revert to more reliable true eval-when (compile)	David Aspinall

2008-01-17	Prevent loading early in interpreted code: simulate proper eval-when (compile)	David Aspinall

2008-01-16	Reduce compiler warnings. Minor fixes.	David Aspinall

2008-01-15	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall
	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2007-12-14	Prevent attempt to use on XEmacs	David Aspinall

2007-12-13	Complete maths menu addition	David Aspinall

2007-12-12	New files.	David Aspinall