aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Expand)AuthorAge
* 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
* 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
* 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
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...Gravatar David Aspinall2007-12-14
* Move proof-face-specs here, remove proof-list-filterGravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...Gravatar David Aspinall2007-12-14
* Fix string quotingGravatar David Aspinall2007-12-10
* Fix to proof-defintset-fn so that correct current value is displayed.Gravatar David Aspinall2007-08-19
* Note trac generic user pgemacs/pgemacsGravatar David Aspinall2007-05-10
* pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...Gravatar David Aspinall2007-05-10
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Fix links to BUGS and FAQGravatar David Aspinall2007-03-19
* Use replace-regexp instead of proof-replace-regexp to clean charsGravatar David Aspinall2007-03-03
* Tweaks to buffer history mode. Still intermediate version.Gravatar David Aspinall2006-09-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 13:36:32 +0000