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
Commit message (
Expand
)
Author
Age
*
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
*
Point to Trac #313
David Aspinall
2009-12-01
*
Comments
David Aspinall
2009-12-01
*
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
*
Some more tokens
David Aspinall
2009-10-02
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
Added some more syntax keywords. Made admit tactic with its own red
Pierre Courtieu
2009-09-17
*
Added some syntax keywords thanks to Mathieu Sozeau.
Pierre Courtieu
2009-09-17
*
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
*
Move (require 'local-vars-list) from coq.el
David Aspinall
2009-09-10
*
Add back font-lock setting for shell (can turn on/off inside).
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Fix compilation for Coq, including requires and some old/renamed settings.
David Aspinall
2009-09-10
*
Another V-8-1 test
David Aspinall
2009-09-09
*
Remove more V8 compatibility (thanks to Pierre for carefully highlighting it)
David Aspinall
2009-09-09
*
Remove Coq 8.0 code
David Aspinall
2009-09-08
*
Remove some spaces
David Aspinall
2009-09-08
*
Remove more of 80 code
David Aspinall
2009-09-08
*
Simplify coq-find-and-forget and drop v80 version
David Aspinall
2009-09-08
*
Remove system-specific code as message before goals handled in core now. Alte...
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Comments
David Aspinall
2009-09-08
*
Oops: repair hybrid output broken by two window fix! See trac #109.
David Aspinall
2009-09-08
*
Repair two-window working mode for when Coq doesn't produce hybrid output.
David Aspinall
2009-09-08
*
Fix compiler warnings.
David Aspinall
2009-09-07
*
(C) date
David Aspinall
2009-09-07
*
Fix compile warnings and ensure compiled code behaves as expected.
David Aspinall
2009-09-07
*
Fix compile warning, rearrange docs
David Aspinall
2009-09-07
*
Require cl for compilation. Rearrange docs.
David Aspinall
2009-09-07
*
Update for Unicode Tokens.
David Aspinall
2009-09-07
*
Add documentation to explain usage.
David Aspinall
2009-09-07
*
Move holes menu to holes mode
David Aspinall
2009-09-06
*
Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.
David Aspinall
2009-09-06
[next]