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
...
*
Fixed highlighting of evars.
Pierre Courtieu
2015-04-07
*
Fix disable evar colorizing in coq file.
Pierre Courtieu
2015-03-27
*
Colorizing hyps names robustified. Still incomplete.
Pierre Courtieu
2015-03-26
*
Fixed a smal bug in colorizing response buffer.
Pierre Courtieu
2015-03-26
*
fixed gfail hilighting.
Pierre Courtieu
2015-03-24
*
added some keywords
Pierre Courtieu
2015-03-24
*
Highlighting evars.
Pierre Courtieu
2015-03-23
*
Fixed lazymatch and multimatch indentation/highlighting.
Pierre Courtieu
2015-03-23
*
Some comments for future work.
Pierre Courtieu
2015-03-13
*
Added a command to send Queries to coq, with completion (C-c C-a C-q).
Pierre Courtieu
2015-03-13
*
Fixed Proof end/start detection on Proof using ...
Pierre Courtieu
2015-03-04
*
Fixed a bug in syntax table making fontlock and indentation fail.
Pierre Courtieu
2015-02-23
*
Fix colorization of for coq multiple hypothesis on the same line.
Pierre Courtieu
2015-02-05
*
Fixed previous commit (wrong regexp).
Pierre Courtieu
2015-02-04
*
coloring names in resposne and goals
Pierre Courtieu
2015-02-03
*
beautified a bit error messages.
Pierre Courtieu
2015-02-03
*
* coq/coq-smie.el: Fix precedence of 'else'.
Stefan Monnier
2014-06-06
*
Fixing #477. Adding Proposition as a goal-starter keyword.
Pierre Courtieu
2013-07-10
*
Fixing compilation. Still need to verify some smie stuff on different version...
Pierre Courtieu
2012-07-24
*
Complete rework of the indentation mechanism using smie. The first
Pierre Courtieu
2012-06-28
*
Trying to minimize the slowness of indentation when no "Proof." is
Pierre Courtieu
2012-06-11
*
Trying to fix some minor indentation bugs with infox operators.
Pierre Courtieu
2012-06-06
*
Fix of a bug. coq id can start with underscore.
Pierre Courtieu
2012-05-31
*
Move coq-prog-name back to coq.el
David Aspinall
2011-08-23
*
Fixing track 414 by adding Preterm as a state preserving command.
Pierre Courtieu
2011-07-29
*
Updated the old code for indentation, in case Stefan cannot finish the
Pierre Courtieu
2011-06-04
*
Added indentation for BeginSubProof/EndSubProof.
Pierre Courtieu
2011-05-31
*
Fixed #394. There is a bug with kfont-lock-keywords. The workaround is
Pierre Courtieu
2011-05-17
*
* fix overwriting setq coq-prog-name before loading Proof General
Hendrik Tews
2011-04-15
*
Add preliminary support for multiple files for coq.
Hendrik Tews
2011-01-12
*
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
[prev]
[next]