Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixed my last commit where compilation was broken. (function put at | 2010-08-25 | |
| | | | | the wrong place). | ||
* | Fixed the bug of vertical window splitting when the size of the window | 2010-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 together | 2010-08-25 | |
| | |||
* | Move some var+macro to fix compilation | 2010-08-11 | |
| | |||
* | Support custom syntactic fontification. Split out pa macros. | 2010-08-11 | |
| | |||
* | Checkdoc cleanups | 2010-08-08 | |
| | |||
* | proof-deftoggle-fn: make ARG optional as suggested by docstring | 2010-08-03 | |
| | |||
* | proof-save-this-buffer: added | 2009-09-27 | |
| | |||
* | Fix compile warning | 2009-09-15 | |
| | |||
* | Our own buffer for debug messages | 2009-09-11 | |
| | |||
* | Move stripping and minibuffer-message function here | 2009-09-10 | |
| | |||
* | Experimental changes to queue several commands at once and to allow ↵ | 2009-09-10 | |
| | | | | pre-processing of commands when they're queued from script | ||
* | Move defpacustom here. Move message functions to proof-shell. Fix requires. | 2009-09-10 | |
| | |||
* | Clarify require | 2009-09-08 | |
| | |||
* | Require on scomint | 2009-09-08 | |
| | |||
* | proof-clean-buffer: inhibit read only | 2009-09-06 | |
| | |||
* | Remove comment | 2009-09-06 | |
| | |||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | replace-in-string -> replace-regexp-in-string | 2009-09-04 | |
| | |||
* | Alternative implementation of pg-remove-specials which does not introduce ↵ | 2009-09-04 | |
| | | | | restriction. | ||
* | proof-files-to-buffers, proof-locate-executable: simplify | 2009-09-04 | |
| | | | | | proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation | ||
* | Unnecessary test | 2009-08-31 | |
| | |||
* | pg-current-word-pos: add for convenience in identifier query function | 2009-08-14 | |
| | |||
* | Add proof state hover messages to proof script, along with useful customization. | 2009-05-26 | |
| | |||
* | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵ | 2009-05-26 | |
| | | | | cleanups | ||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵ | 2008-01-31 | |
| | | | | now) | ||
* | Move version check in case proof-site.el is loaded, not proof-site.elc | 2008-01-31 | |
| | |||
* | Support decoding of unicode tokens in output | 2008-01-28 | |
| | |||
* | proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitches | 2008-01-25 | |
| | | | | with XEmacs progress bar. | ||
* | Commentary: move compile notes to etc/development-tips.txt | 2008-01-25 | |
| | |||
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
| | |||
* | Comments. | 2008-01-16 | |
| | |||
* | Simplify font lock settings, removing proof-font-lock-case-fold-search | 2008-01-15 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 2008-01-15 | |
| | | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | ||
* | Move x-symbol-language to avoid eval of proof-assistant-symbol; move ↵ | 2007-12-14 | |
| | | | | proof-face-specs to proof-utils | ||
* | Move proof-face-specs here, remove proof-list-filter | 2007-12-14 | |
| | |||
* | Rename: proof-show-debug-messages -> proof-general-debug. Optimise ↵ | 2007-12-14 | |
| | | | | pg-remove-specials. | ||
* | Fix string quoting | 2007-12-10 | |
| | |||
* | Fix to proof-defintset-fn so that correct current value is displayed. | 2007-08-19 | |
| | |||
* | Note trac generic user pgemacs/pgemacs | 2007-05-10 | |
| | |||
* | pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵ | 2007-05-10 | |
| | | | | messages. | ||
* | Experimenting smarter window creation when in three windows | 2007-04-27 | |
| | | | | mode. Strategy is: always try to split an associated buffer window. | ||
* | Fix links to BUGS and FAQ | 2007-03-19 | |
| | |||
* | Use replace-regexp instead of proof-replace-regexp to clean chars | 2007-03-03 | |
| | |||
* | Tweaks to buffer history mode. Still intermediate version. | 2006-09-24 | |
| | |||
* | Add buffer history browsing | 2006-09-24 | |
| | |||
* | moved pg-special-char-regexp to proof-config.el; | 2005-09-01 | |
| | | | | added pg-remove-specials-in-string; | ||
* | - Don't just reuse visible frames but also iconified ones. | 2005-05-17 | |
| | | | | | | - When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear. | ||
* | Mention to check FAQ too | 2005-01-07 | |
| |