aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-smie-lexer.el
AgeCommit message (Expand)Author
2014-06-03Rename coq-smie-lexer.el to coq-smie.el.Stefan Monnier
2013-07-11Fixing another bug in indentation concerning "where". Actually therePierre Courtieu
2013-07-10Fixing #478 + reverting partially the fix of #476 (Instance cannot be indente...Pierre Courtieu
2013-07-10Fixing #476 (bis). Adding Fixpoint as a goal starter.Pierre Courtieu
2013-07-10Fixing #476. Adding more keywords for indentation like Lemma.Pierre Courtieu
2013-07-10Fixing #475. the "=>" ptoken just before "exists" should be the ltacPierre Courtieu
2013-07-08Fixing again bug #466. With a bbetter solution.Pierre Courtieu
2013-07-06Fixing #474. & is now an declared operator. I need something better toPierre Courtieu
2013-07-06Fixing #473. Now all token finishing by <symbol><dot> is considered anPierre Courtieu
2013-07-05Fixing #466. Indent. bug when illformed commment at file beginning.Pierre Courtieu
2013-05-30Adding some more standard utf8 symbols to indentation operator. WePierre Courtieu
2013-05-29Fixing a minor bug in indetation (exists is tactic and a quantifier).Pierre Courtieu
2012-09-25Fixed indentation in presence of "dot friends" like :?. etc.Pierre Courtieu
2012-09-06Fixed a bug with function name "eval" (end of).Pierre Courtieu
2012-09-06Fixed a bug with function name "eval".Pierre Courtieu
2012-08-24Fixed an error when smie not present in the system.Pierre Courtieu
2012-07-24Fixing compilation. Still need to verify some smie stuff on different version...Pierre Courtieu
2012-07-09Fixed a small bug in indentation + added new commands for queries withPierre Courtieu
2012-07-07Debugged coq indentation.Pierre Courtieu
2012-07-06More fixes in coq indentation (2).Pierre Courtieu
2012-07-06More fixes in coq indentation.Pierre Courtieu
2012-07-05Indentation debugging for coq.Pierre Courtieu
2012-07-05Code cleaning.Pierre Courtieu
2012-07-05Fixed some indentation details for Coq.Pierre Courtieu
2012-07-03Fixed some indentation bugs.Pierre Courtieu
2012-06-28Fixed some small bugs in coq indentation.Pierre Courtieu
2012-06-28Complete rework of the indentation mechanism using smie. The firstPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 05:09:20 +0000