aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-smie-lexer.el
Commit message (Expand)AuthorAge
* Fixed indentation in presence of "dot friends" like :?. etc.Gravatar Pierre Courtieu2012-09-25
* Fixed a bug with function name "eval" (end of).Gravatar Pierre Courtieu2012-09-06
* Fixed a bug with function name "eval".Gravatar Pierre Courtieu2012-09-06
* Fixed an error when smie not present in the system.Gravatar Pierre Courtieu2012-08-24
* Fixing compilation. Still need to verify some smie stuff on different version...Gravatar Pierre Courtieu2012-07-24
* Fixed a small bug in indentation + added new commands for queries withGravatar Pierre Courtieu2012-07-09
* Debugged coq indentation.Gravatar Pierre Courtieu2012-07-07
* More fixes in coq indentation (2).Gravatar Pierre Courtieu2012-07-06
* More fixes in coq indentation.Gravatar Pierre Courtieu2012-07-06
* Indentation debugging for coq.Gravatar Pierre Courtieu2012-07-05
* Code cleaning.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation details for Coq.Gravatar Pierre Courtieu2012-07-05
* Fixed some indentation bugs.Gravatar Pierre Courtieu2012-07-03
* Fixed some small bugs in coq indentation.Gravatar Pierre Courtieu2012-06-28
* Complete rework of the indentation mechanism using smie. The firstGravatar Pierre Courtieu2012-06-28