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-syntax.el
Commit message (
Expand
)
Author
Age
*
coq-generic-expression: fix this to match symbols, not merely words.
David Aspinall
2010-10-10
*
ReFixed bug trac 356.
Pierre Courtieu
2010-10-01
*
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
*
Cleaning indentation code.
Pierre Courtieu
2010-09-09
*
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 bug #346. Coq code was using proof-ids-to-regexp on regexp
Pierre Courtieu
2010-09-01
*
Fix comment
David Aspinall
2010-08-30
*
Fix syntax for Local prefix (see Trac #348)
David Aspinall
2010-08-30
*
Added a "remember this" window. Experimental.
Pierre Courtieu
2010-05-17
*
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
*
Clean compile
David Aspinall
2009-09-10
*
Fix compilation for Coq, including requires and some old/renamed settings.
David Aspinall
2009-09-10
*
Remove Coq 8.0 code
David Aspinall
2009-09-08
*
Remove more of 80 code
David Aspinall
2009-09-08
*
Fix compile warnings and ensure compiled code behaves as expected.
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Made customizable holes mode completion in abbreviations.
Pierre Courtieu
2009-08-31
*
Minor changes from Stefan Monnier's patch
David Aspinall
2009-08-17
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
todo added fo coq.
Pierre Courtieu
2008-07-21
*
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
*
coq:cutomizable bound variable highlight (finally working)
Assia Mahboubi
2008-02-01
*
Updated.
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
*
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
*
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
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
*
Fix compilation problems and rearrange startup settings for coq-prog-name,coq...
David Aspinall
2007-12-14
*
Attempt to fix compile problems
David Aspinall
2007-12-14
*
coq-goal-command-str-p: Fix suspected typo shown up by compile warning.
David Aspinall
2007-12-14
*
Compatibility with coq trunk where some special symbols are removed.
Pierre Courtieu
2007-12-12
*
Print Coercions added to coq-syntax
Assia Mahboubi
2007-12-07
*
Corollary added to Coq starters
Assia Mahboubi
2007-12-05
*
coq solve tacs modified
Assia Mahboubi
2007-11-30
*
colouring for Reserved Notations
Assia Mahboubi
2007-11-26
*
removed 'by'form coq-reserved and added it to coq-solve-tactics
Assia Mahboubi
2007-11-20
[next]