index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq.el
Commit message (
Expand
)
Author
Age
*
Rename span-add-self-removing-span
David Aspinall
2010-10-01
*
coq-highlight-error: use span-add-self-removing-span (highlight and removal i...
David Aspinall
2010-10-01
*
coq-allow-highlight-error: remove this setting, now proof-shell-error-or-inte...
David Aspinall
2010-10-01
*
Add key binding fixes from Erik Martin-Dorel (see Trac#359).
David Aspinall
2010-10-01
*
Fixed redundant undo limit custom variables.
Pierre Courtieu
2010-09-28
*
Revert last change, version from Pierre is cleaner.
David Aspinall
2010-09-09
*
Hack regexps so that goals are cleared on Proof Completed. message. Unfortun...
David Aspinall
2010-09-09
*
Fixed the cleaning of goals buffer when proof completed
Pierre Courtieu
2010-09-09
*
Moved the modeline dislpay of open goals to scripting buffer.
Pierre Courtieu
2010-09-09
*
Adjust configuration setting for automatic multiple files handling
David Aspinall
2010-09-08
*
Minor clean up of comments while reading code
David Aspinall
2010-09-06
*
Fixed experimental feature of storing response or goal in a persistent
Pierre Courtieu
2010-09-01
*
Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp
Pierre Courtieu
2010-09-01
*
Response freeze given non special buffer name (Trac #347)
David Aspinall
2010-08-30
*
Replace proof-terminal-char with proof-terminal-string.
David Aspinall
2010-08-27
*
Fix for Trac #343
David Aspinall
2010-08-27
*
coq-find-and-forget: re-enable trivial optimisation (is it really
David Aspinall
2010-08-25
*
Revert 10.51. proof-script-command-end-regexp: non-letters after
David Aspinall
2010-08-25
*
coq-set-state-infos: attempt to fix sync problem here
David Aspinall
2010-08-24
*
proof-script-command-end-regexp: include \' for end of buffer again
David Aspinall
2010-08-24
*
proof-script-command-end-regexp: allow any non-letter after a period
David Aspinall
2010-08-24
*
More whitespace changes
David Aspinall
2010-08-24
*
Cleanups for Elisp formatting conventions.
David Aspinall
2010-08-24
*
Minor cleanups
David Aspinall
2010-08-24
*
Change binding for coq-PrintHint as suggested in Trac #341
David Aspinall
2010-08-22
*
Remove superfluous spaces (re Trac #331).
David Aspinall
2010-08-15
*
coq-highlight-error: make robust against proof script buffer deactivating
David Aspinall
2010-08-13
*
proof-last-locked-span: save-excursion -> with-current-buffer to avoid
David Aspinall
2010-07-01
*
Fixing the behaviour of the responses-freeze window.
Pierre Courtieu
2010-05-17
*
Allow SearchAbout to deal with complex queries.
Pierre Courtieu
2010-05-17
*
Added a "remember this" window. Experimental.
Pierre Courtieu
2010-05-17
*
Fix coq error utf8 underlining with coq-8.3beta.
Pierre Courtieu
2010-04-12
*
Change of type for proof-script-span-context-menu-extensions
David Aspinall
2009-12-03
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
Small Fix (again).
Pierre Courtieu
2009-11-20
*
Small Fix.
Pierre Courtieu
2009-11-20
*
Fix.
Pierre Courtieu
2009-11-11
*
fix
Pierre Courtieu
2009-11-10
*
Fixing insertion case for c-c c-a c-i + cleaning.
Pierre Courtieu
2009-11-10
*
Added keyboard shortcut in goals buffer.
Pierre Courtieu
2009-10-15
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
Fixed error highlighting with utf8.
Pierre Courtieu
2009-09-17
*
Fix compile warnings
David Aspinall
2009-09-16
*
Fix highlighting of error region
David Aspinall
2009-09-15
*
Surpress warnings for dynamic scoping
David Aspinall
2009-09-14
*
Remove proof-strict-read-only-toggle call (no longer defined, and
David Aspinall
2009-09-14
*
Change mode names
David Aspinall
2009-09-14
*
Move (require 'local-vars-list) to coq-local-vars
David Aspinall
2009-09-10
*
Add back font-lock setting for shell (can turn on/off inside).
David Aspinall
2009-09-10
*
Fix compilation for Coq, including requires and some old/renamed settings.
David Aspinall
2009-09-10
[next]