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
*
Add some more tokens for making pretty pictures
David Aspinall
2010-10-10
*
coq-find-and-forget: Allow undoing prover processed regions
David Aspinall
2010-10-10
*
coq-generic-expression: fix this to match symbols, not merely words.
David Aspinall
2010-10-10
*
Fixes in strings/comments from Erik Martin-Dorel
David Aspinall
2010-10-04
*
coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #35...
David Aspinall
2010-10-04
*
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
*
ReFixed bug trac 356.
Pierre Courtieu
2010-10-01
*
Add key binding fixes from Erik Martin-Dorel (see Trac#359).
David Aspinall
2010-10-01
*
Update version numbers, release dates
David Aspinall
2010-10-01
*
Fixed redundant undo limit custom variables.
Pierre Courtieu
2010-09-28
*
Fixed colorization bug #356, introduced by a previous fix of bug 140.
Pierre Courtieu
2010-09-28
*
Fix bug trac 140 by writing a cleaner regexp than (proof-ids ... " ").
Pierre Courtieu
2010-09-22
*
Fix some bugs in coq regexp generation
David Aspinall
2010-09-22
*
Remove support for Emacs <21 in syntax table
David Aspinall
2010-09-22
*
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
*
Cleaning indentation code.
Pierre Courtieu
2010-09-09
*
Fixed indentation at end of file.
Pierre Courtieu
2010-09-09
*
Fixed small bugs in indentation.
Pierre Courtieu
2010-09-09
*
illustrating the wrongness of the current multifile processing for coq.
Pierre Courtieu
2010-09-08
*
Added three files for testing multi file scripting.
Pierre Courtieu
2010-09-08
*
Adjust configuration setting for automatic multiple files handling
David Aspinall
2010-09-08
*
Fix compile
David Aspinall
2010-09-08
*
Add simple clear test for multiple files without require
David Aspinall
2010-09-08
*
Finished fixing the small indentation bug at buffer top.
Pierre Courtieu
2010-09-07
*
Fix of previous commit.
Pierre Courtieu
2010-09-07
*
half fixed the indentation bug at buffer start.
Pierre Courtieu
2010-09-07
*
Minor clean up of comments while reading code
David Aspinall
2010-09-06
*
Fixed a bug in coq "set prog args persistently".
Pierre Courtieu
2010-09-06
*
Fixed indentation which was broken by a previous commit.
Pierre Courtieu
2010-09-03
*
Adding some keywords.
Pierre Courtieu
2010-09-03
*
First fix of bug introduced by the last font-lock fix. Not finished.
Pierre Courtieu
2010-09-03
*
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
*
Style fixes
David Aspinall
2010-08-30
*
Fix comment
David Aspinall
2010-08-30
*
Fix syntax for Local prefix (see Trac #348)
David Aspinall
2010-08-30
*
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
*
Make tests succeed, although still two or three underlying bugs
David Aspinall
2010-08-25
*
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
[next]