| Commit message (Expand) | Author | Age |
* | Fixed double hit terminator. Now it is disabled by default, and | Pierre Courtieu | 2012-09-05 |
* | Comments | David Aspinall | 2011-01-31 |
* | Bump/relax version numbers. Error for <23, warning for minor version mismatch. | David Aspinall | 2011-01-25 |
* | Removing a debugging message. | Pierre Courtieu | 2011-01-18 |
* | Type-check on integer settings | David Aspinall | 2011-01-12 |
* | Add additional support for pgipfloat type | David Aspinall | 2011-01-11 |
* | proof-debug: fiddle with warning levels to make *PG Debug* buffer appear, set... | David Aspinall | 2010-10-11 |
* | Remove developers note from docstring of togglers | David Aspinall | 2010-10-08 |
* | Comment | David Aspinall | 2010-10-01 |
* | Coding conventions | David Aspinall | 2010-09-29 |
* | proof-deftoggle: add declare-function to prevent compiler warnings | David Aspinall | 2010-09-21 |
* | Fixed my last commit where compilation was broken. (function put at | Pierre Courtieu | 2010-08-25 |
* | Fixed the bug of vertical window splitting when the size of the window | Pierre Courtieu | 2010-08-25 |
* | Bring syntactic context functions together | David Aspinall | 2010-08-25 |
* | Move some var+macro to fix compilation | David Aspinall | 2010-08-11 |
* | Support custom syntactic fontification. Split out pa macros. | David Aspinall | 2010-08-11 |
* | Checkdoc cleanups | David Aspinall | 2010-08-08 |
* | proof-deftoggle-fn: make ARG optional as suggested by docstring | David Aspinall | 2010-08-03 |
* | proof-save-this-buffer: added | David Aspinall | 2009-09-27 |
* | Fix compile warning | David Aspinall | 2009-09-15 |
* | Our own buffer for debug messages | David Aspinall | 2009-09-11 |
* | Move stripping and minibuffer-message function here | David Aspinall | 2009-09-10 |
* | Experimental changes to queue several commands at once and to allow pre-proce... | David Aspinall | 2009-09-10 |
* | Move defpacustom here. Move message functions to proof-shell. Fix requires. | David Aspinall | 2009-09-10 |
* | Clarify require | David Aspinall | 2009-09-08 |
* | Require on scomint | David Aspinall | 2009-09-08 |
* | proof-clean-buffer: inhibit read only | David Aspinall | 2009-09-06 |
* | Remove comment | David Aspinall | 2009-09-06 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | replace-in-string -> replace-regexp-in-string | David Aspinall | 2009-09-04 |
* | Alternative implementation of pg-remove-specials which does not introduce res... | David Aspinall | 2009-09-04 |
* | proof-files-to-buffers, proof-locate-executable: simplify | David Aspinall | 2009-09-04 |
* | Unnecessary test | David Aspinall | 2009-08-31 |
* | pg-current-word-pos: add for convenience in identifier query function | David Aspinall | 2009-08-14 |
* | Add proof state hover messages to proof script, along with useful customization. | David Aspinall | 2009-05-26 |
* | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c... | David Aspinall | 2009-05-26 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | comment: proof-compat not needed for pg-defface-window-systems (but leave in ... | David Aspinall | 2008-01-31 |
* | Move version check in case proof-site.el is loaded, not proof-site.elc | David Aspinall | 2008-01-31 |
* | Support decoding of unicode tokens in output | David Aspinall | 2008-01-28 |
* | proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitches | David Aspinall | 2008-01-25 |
* | Commentary: move compile notes to etc/development-tips.txt | David Aspinall | 2008-01-25 |
* | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
* | Comments. | David Aspinall | 2008-01-16 |
* | Simplify font lock settings, removing proof-font-lock-case-fold-search | David Aspinall | 2008-01-15 |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall | 2008-01-15 |
* | Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa... | David Aspinall | 2007-12-14 |
* | Move proof-face-specs here, remove proof-list-filter | David Aspinall | 2007-12-14 |
* | Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove... | David Aspinall | 2007-12-14 |
* | Fix string quoting | David Aspinall | 2007-12-10 |