aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Collapse)AuthorAge
* 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
| | | Fixes #110.
* Fixed double hit terminator. Now it is disabled by default, andGravatar Pierre Courtieu2012-09-05
| | | | | | | | 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.
* 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, ↵Gravatar David Aspinall2010-10-11
| | | | set it in help mode.
* 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
| | | | the wrong place).
* Fixed the bug of vertical window splitting when the size of the windowGravatar Pierre Courtieu2010-08-25
| | | | | is too small. However if the frame is too small the bug remains (but it is much less probable).
* 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 ↵Gravatar David Aspinall2009-09-10
| | | | pre-processing of commands when they're queued from script
* 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 ↵Gravatar David Aspinall2009-09-04
| | | | restriction.
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
| | | | | proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
* 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 ↵Gravatar David Aspinall2009-05-26
| | | | cleanups
* 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
| | | | now)
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
|
* Support decoding of unicode tokens in outputGravatar David Aspinall2008-01-28
|
* proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesGravatar David Aspinall2008-01-25
| | | | with XEmacs progress bar.
* Commentary: move compile notes to etc/development-tips.txtGravatar David Aspinall2008-01-25
|
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Comments.Gravatar David Aspinall2008-01-16
|
* Simplify font lock settings, removing proof-font-lock-case-fold-searchGravatar David Aspinall2008-01-15
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 02:22:44 +0000