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
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
*
Remove code that hides mode-line.
Calvin Beck
2018-11-12
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
annoying missing parentheisis in a comment.
Pierre Courtieu
2017-01-24
*
Fixing #121 + avoid hiding user windows too much.
Pierre Courtieu
2017-01-04
*
fix error in process filter: Cannot resize window
Hendrik Tews
2016-11-02
*
Fix reference to log-warning-minimum-level
psteckler
2016-09-16
*
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
[next]