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-smie-lexer.el
Commit message (
Expand
)
Author
Age
*
Fixed indentation in presence of "dot friends" like :?. etc.
Pierre Courtieu
2012-09-25
*
Fixed a bug with function name "eval" (end of).
Pierre Courtieu
2012-09-06
*
Fixed a bug with function name "eval".
Pierre Courtieu
2012-09-06
*
Fixed an error when smie not present in the system.
Pierre Courtieu
2012-08-24
*
Fixing compilation. Still need to verify some smie stuff on different version...
Pierre Courtieu
2012-07-24
*
Fixed a small bug in indentation + added new commands for queries with
Pierre Courtieu
2012-07-09
*
Debugged coq indentation.
Pierre Courtieu
2012-07-07
*
More fixes in coq indentation (2).
Pierre Courtieu
2012-07-06
*
More fixes in coq indentation.
Pierre Courtieu
2012-07-06
*
Indentation debugging for coq.
Pierre Courtieu
2012-07-05
*
Code cleaning.
Pierre Courtieu
2012-07-05
*
Fixed some indentation details for Coq.
Pierre Courtieu
2012-07-05
*
Fixed some indentation bugs.
Pierre Courtieu
2012-07-03
*
Fixed some small bugs in coq indentation.
Pierre Courtieu
2012-06-28
*
Complete rework of the indentation mechanism using smie. The first
Pierre Courtieu
2012-06-28