index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-utils.el
Commit message (
Expand
)
Author
Age
*
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
*
Fix to proof-defintset-fn so that correct current value is displayed.
David Aspinall
2007-08-19
*
Note trac generic user pgemacs/pgemacs
David Aspinall
2007-05-10
*
pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...
David Aspinall
2007-05-10
*
Experimenting smarter window creation when in three windows
Pierre Courtieu
2007-04-27
*
Fix links to BUGS and FAQ
David Aspinall
2007-03-19
*
Use replace-regexp instead of proof-replace-regexp to clean chars
David Aspinall
2007-03-03
*
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
*
Add buffer history browsing
David Aspinall
2006-09-24
*
moved pg-special-char-regexp to proof-config.el;
Makarius Wenzel
2005-09-01
*
- Don't just reuse visible frames but also iconified ones.
David Aspinall
2005-05-17
*
Mention to check FAQ too
David Aspinall
2005-01-07
[next]