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
*
fixed a bug with region-exists-p not defined in some emacsen.
Pierre Courtieu
2009-04-16
*
fixed a bad interaction with Coq -R option
Assia Mahboubi
2009-03-17
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
Fixing region access for emacs <= 22.
Pierre Courtieu
2008-10-02
*
Fixed the bug with coq-guess-command-line.
Pierre Courtieu
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233
David Aspinall
2008-07-24
*
Deleted file
David Aspinall
2008-07-22
*
Changed the main menu of coq. Changed a shortcut for holes.
Pierre Courtieu
2008-07-21
*
todo added fo coq.
Pierre Courtieu
2008-07-21
*
unicode shortcut alist: literal backslash instead of strange control sequence...
Makarius Wenzel
2008-07-07
*
Remove faulty test
David Aspinall
2008-07-05
*
Fixed example file for utf8.
Pierre Courtieu
2008-06-06
*
Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT
Pierre Courtieu
2008-06-06
*
Raised coq undo stack size.
Pierre Courtieu
2008-06-06
*
Fixed a bug in coq guessing of command line
Pierre Courtieu
2008-05-30
*
Fixed a bug with abbrev table definition.
Pierre Courtieu
2008-05-22
*
Fixed a bug with local variable setting.
Pierre Courtieu
2008-05-22
*
Fixed a bug with coq-prog-name.
Pierre Courtieu
2008-05-20
*
Small fix with response buffer scrolling.
Pierre Courtieu
2008-04-11
*
fixed syntax table + thing-at-point.
Pierre Courtieu
2008-03-05
*
Add undo-depth setting and default it to 200, overriding Coq's 100 default.
David Aspinall
2008-02-17
*
Add mode documentation
David Aspinall
2008-02-04
*
coq:cutomizable bound variable highlight (finally working)
Assia Mahboubi
2008-02-01
*
Update versions here.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Revert last change, shell-command-to-string gives error when called
David Aspinall
2008-01-31
*
Use coq-prog-name when looking for library, not hard coded coqtop
David Aspinall
2008-01-31
*
Use proof-locate-executable so works out-of-the-box on Windows.
David Aspinall
2008-01-31
*
Remove CVS merge junk!
David Aspinall
2008-01-31
*
updated CHANGES
Assia Mahboubi
2008-01-31
*
coq : sorry, reverting previous buggy customization
Assia Mahboubi
2008-01-30
*
New files.
David Aspinall
2008-01-30
*
Added a boolean defcustom test to make optional the highlight of variables
Assia Mahboubi
2008-01-30
*
coq : changing highlight of solve, adding Export
Assia Mahboubi
2008-01-30
*
Added displaying of the number of goals in the modeline.
Pierre Courtieu
2008-01-28
*
Fixed indentation and goal display.
Pierre Courtieu
2008-01-28
*
Fixed a problem with a wrong side effect on syntax databases (when
Pierre Courtieu
2008-01-28
*
Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...
David Aspinall
2008-01-25
*
Remove use of proof-ass
David Aspinall
2008-01-24
*
Updated.
David Aspinall
2008-01-24
*
New files.
David Aspinall
2008-01-24
*
Missing paren
David Aspinall
2008-01-24
*
Fixes and cleanups for coq-indent-line, see Trac #172
David Aspinall
2008-01-24
*
Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.
David Aspinall
2008-01-17
*
Updated.
David Aspinall
2008-01-16
*
Remove coq-utf-safe
David Aspinall
2008-01-15
*
Deleted file
David Aspinall
2008-01-15
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
[next]