aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Expand)Author
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 pre-proce...David Aspinall
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 res...David Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
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 c...David Aspinall
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
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
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
2008-01-15Simplify font lock settings, removing proof-font-lock-case-fold-searchDavid Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...David Aspinall
2007-12-14Move proof-face-specs here, remove proof-list-filterDavid Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...David Aspinall
2007-12-10Fix string quotingDavid Aspinall
2007-08-19Fix to proof-defintset-fn so that correct current value is displayed.David Aspinall
2007-05-10Note trac generic user pgemacs/pgemacsDavid Aspinall
2007-05-10pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...David Aspinall
2007-04-27Experimenting smarter window creation when in three windowsPierre Courtieu
2007-03-19Fix links to BUGS and FAQDavid Aspinall
2007-03-03Use replace-regexp instead of proof-replace-regexp to clean charsDavid Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2005-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
2005-05-17- Don't just reuse visible frames but also iconified ones.David Aspinall
2005-01-07Mention to check FAQ tooDavid Aspinall
2004-10-05Bug fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-09-21Fix bug in proof-debug for GNU EmacsDavid Aspinall
2004-08-25Add pg-internal-warning. Use display-warning for that and proof-debug, if av...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 07:05:38 +0000