aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Expand)Author
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-15Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Stefan Monnier
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-11-12Remove code that hides mode-line.Calvin Beck
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-01-24annoying missing parentheisis in a comment.Pierre Courtieu
2017-01-04Fixing #121 + avoid hiding user windows too much.Pierre Courtieu
2016-11-02fix error in process filter: Cannot resize windowHendrik Tews
2016-09-16Fix reference to log-warning-minimum-levelpsteckler
2012-09-05Fixed double hit terminator. Now it is disabled by default, andPierre Courtieu
2011-01-31CommentsDavid Aspinall
2011-01-25Bump/relax version numbers. Error for <23, warning for minor version mismatch.David Aspinall
2011-01-18Removing a debugging message.Pierre Courtieu
2011-01-12Type-check on integer settingsDavid Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2010-10-11proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, set...David Aspinall
2010-10-08Remove developers note from docstring of togglersDavid Aspinall
2010-10-01CommentDavid Aspinall
2010-09-29Coding conventionsDavid Aspinall
2010-09-21proof-deftoggle: add declare-function to prevent compiler warningsDavid Aspinall
2010-08-25Fixed my last commit where compilation was broken. (function put atPierre Courtieu
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
2010-08-25Bring syntactic context functions togetherDavid Aspinall
2010-08-11Move some var+macro to fix compilationDavid Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03proof-deftoggle-fn: make ARG optional as suggested by docstringDavid Aspinall
2009-09-27proof-save-this-buffer: addedDavid Aspinall
2009-09-15Fix compile warningDavid Aspinall
2009-09-11Our own buffer for debug messagesDavid Aspinall
2009-09-10Move stripping and minibuffer-message function hereDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Move defpacustom here. Move message functions to proof-shell. Fix requires.David Aspinall
2009-09-08Clarify requireDavid Aspinall
2009-09-08Require on scomintDavid Aspinall
2009-09-06proof-clean-buffer: inhibit read onlyDavid Aspinall
2009-09-06Remove commentDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Alternative implementation of pg-remove-specials which does not introduce res...David Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
2009-08-31Unnecessary testDavid Aspinall
2009-08-14pg-current-word-pos: add for convenience in identifier query functionDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-31comment: proof-compat not needed for pg-defface-window-systems (but leave in ...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:00:28 +0000