aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Collapse)Author
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
Fixes #110.
2012-09-05Fixed double hit terminator. Now it is disabled by default, andPierre Courtieu
enabling it disables electric-terminator and vice-versa. In case both are non nil at the same time, then electric teminator has priority. If people like it we may propose this to other modes than coq. + fixed window layout policy.
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, ↵David Aspinall
set it in help mode.
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
the wrong place).
2010-08-25Fixed the bug of vertical window splitting when the size of the windowPierre Courtieu
is too small. However if the frame is too small the bug remains (but it is much less probable).
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 ↵David Aspinall
pre-processing of commands when they're queued from script
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 ↵David Aspinall
restriction.
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
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 ↵David Aspinall
cleanups
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
now)
2008-01-31Move version check in case proof-site.el is loaded, not proof-site.elcDavid Aspinall
2008-01-28Support decoding of unicode tokens in outputDavid Aspinall
2008-01-25proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesDavid Aspinall
with XEmacs progress bar.
2008-01-25Commentary: move compile notes to etc/development-tips.txtDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Comments.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 08:04:54 +0000