aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Expand)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Remove code that hides mode-line.Gravatar Calvin Beck2018-11-12
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* annoying missing parentheisis in a comment.Gravatar Pierre Courtieu2017-01-24
* Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04
* fix error in process filter: Cannot resize windowGravatar Hendrik Tews2016-11-02
* Fix reference to log-warning-minimum-levelGravatar psteckler2016-09-16
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
* CommentsGravatar David Aspinall2011-01-31
* Bump/relax version numbers. Error for <23, warning for minor version mismatch.Gravatar David Aspinall2011-01-25
* Removing a debugging message.Gravatar Pierre Courtieu2011-01-18
* Type-check on integer settingsGravatar David Aspinall2011-01-12
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, set...Gravatar David Aspinall2010-10-11
* Remove developers note from docstring of togglersGravatar David Aspinall2010-10-08
* CommentGravatar David Aspinall2010-10-01
* Coding conventionsGravatar David Aspinall2010-09-29
* proof-deftoggle: add declare-function to prevent compiler warningsGravatar David Aspinall2010-09-21
* Fixed my last commit where compilation was broken. (function put atGravatar Pierre Courtieu2010-08-25
* Fixed the bug of vertical window splitting when the size of the windowGravatar Pierre Courtieu2010-08-25
* Bring syntactic context functions togetherGravatar David Aspinall2010-08-25
* Move some var+macro to fix compilationGravatar David Aspinall2010-08-11
* Support custom syntactic fontification. Split out pa macros.Gravatar David Aspinall2010-08-11
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* proof-deftoggle-fn: make ARG optional as suggested by docstringGravatar David Aspinall2010-08-03
* proof-save-this-buffer: addedGravatar David Aspinall2009-09-27
* Fix compile warningGravatar David Aspinall2009-09-15
* Our own buffer for debug messagesGravatar David Aspinall2009-09-11
* Move stripping and minibuffer-message function hereGravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Move defpacustom here. Move message functions to proof-shell. Fix requires.Gravatar David Aspinall2009-09-10
* Clarify requireGravatar David Aspinall2009-09-08
* Require on scomintGravatar David Aspinall2009-09-08
* proof-clean-buffer: inhibit read onlyGravatar David Aspinall2009-09-06
* Remove commentGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Alternative implementation of pg-remove-specials which does not introduce res...Gravatar David Aspinall2009-09-04
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
* Unnecessary testGravatar David Aspinall2009-08-31
* pg-current-word-pos: add for convenience in identifier query functionGravatar David Aspinall2009-08-14
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* comment: proof-compat not needed for pg-defface-window-systems (but leave in ...Gravatar David Aspinall2008-01-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 13:25:49 +0000