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
*
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
*
adding coq-solve tactics
Assia Mahboubi
2007-11-20
*
coq-user-reserved-db added
Assia Mahboubi
2007-11-16
*
test commit : added Structure to coq-defn-db
Assia Mahboubi
2007-11-16
*
Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160
David Aspinall
2007-11-12
*
fixing small font-lock bug with ssreflect syntax.
Pierre Courtieu
2007-11-08
*
Debugging font-lock regexp.
Pierre Courtieu
2007-11-07
*
Menu are now correctly sorted.
Pierre Courtieu
2007-11-07
*
Debugging font-lock regexp.
Pierre Courtieu
2007-11-07
*
Debugging font-lock regexps. Bad order: longer regexp should be put
Pierre Courtieu
2007-11-07
*
Fixed colorization bugs reported by Assai MAhboubi, this commit is
Pierre Courtieu
2007-10-30
*
Bug fixed. Reported by Assia Mahboubi.
Pierre Courtieu
2007-10-30
*
Fixed a bug on custom vars (bad :type) + Added a customizable user var
Pierre Courtieu
2007-10-29
*
Added new keywords.
Pierre Courtieu
2007-07-12
*
Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.
David Aspinall
2007-05-25
*
Fixed the "Time Qed." mistreating (now recognized as a save command
Pierre Courtieu
2007-04-26
*
Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.M
Pierre Courtieu
2007-04-26
*
small coloring fix.
Pierre Courtieu
2007-04-23
*
Small fixes from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Made coq version 8.1 the default.
Pierre Courtieu
2007-04-16
*
Added some keywords ("Declare Module Import"...).
Pierre Courtieu
2006-12-22
*
Fixed coq 8.0 compatibility and coq version detection.
Pierre Courtieu
2006-12-12
*
Added Goal as a goal starter in syntax db.
Pierre Courtieu
2006-09-07
*
Trying to mae indentation aware of nested comments (to be simplified
Pierre Courtieu
2006-09-04
*
fixes again in syntax databases.
Pierre Courtieu
2006-08-25
[next]