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-08-23	Fix most doc issues raised by (checkdoc)	Erik Martin-Dorel

2018-02-21	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel

2017-03-08	Remove unnecessary calls to 'eval-and-compile'	Clément Pit--Claudel

2015-11-13	Experimenting less brutal frame deletion.	Pierre Courtieu
	Only in coq mode for now. There are still some strange frame deletion some times.
2015-10-09	Trying to not delete frames too eagerly when laying out.	Pierre Courtieu

2010-08-08	Checkdoc cleanups	David Aspinall

2009-09-10	Clean compile	David Aspinall

2009-09-05	Clean whitespace	David Aspinall

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

2008-01-31	Make mouse 1 binding compatible also with XEmacs.	David Aspinall

2008-01-31	Add a mouse-1 binding for active areas in goals/response output.	David Aspinall

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

2008-01-16	Compilation tweaks	David Aspinall

2008-01-15	Comments.	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	proof-associated-windows: rewrite naively to remove proof-list-filter	David Aspinall

2007-08-19	pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp	David Aspinall

2007-08-14	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall

2007-04-27	Experimenting smarter window creation when in three windows	Pierre Courtieu
	mode. Strategy is: always try to split an associated buffer window.
2004-04-17	Minor changes to avoid some compiler warnings	David Aspinall

2002-08-16	Robustness against pg-subterm-start-char not being set.	David Aspinall

2002-08-15	New files.	David Aspinall