aboutsummaryrefslogtreecommitdiff
path: root/coq/coq.el
AgeCommit message (Expand)Author
2012-06-06Trying to fix some minor indentation bugs with infox operators.Pierre Courtieu
2012-06-04One more fix for indentation.Pierre Courtieu
2012-06-04Fixing indentation (same bug than 2 previous commits). this time it seems ok.Pierre Courtieu
2012-06-04Fixing the last fix on indentation. Still not perfect.Pierre Courtieu
2012-06-03Fix a bug of indentation.Pierre Courtieu
2012-05-29- erase invalid coq-load-path entry format '("dir")Hendrik Tews
2012-05-26another hide additional subgoals fixHendrik Tews
2012-05-24fix "Hide Additional Subgoals" for coq 8.4betaHendrik Tews
2012-02-13fix coqdep error recognitionHendrik Tews
2012-01-18Fixed a small bug in indentation (ter repetita). Bullets are indentedPierre Courtieu
2012-01-18Fixed a small bug in indentation (bis repetita).Pierre Courtieu
2012-01-18Fixed a small bug in indentation.Pierre Courtieu
2012-01-10Support proof-shell-interactive-prompt-regexp, ref Trac #430David Aspinall
2012-01-09proof-shell-start-goals-regexp: shy match to avoid introducing match groupDavid Aspinall
2012-01-04* fix case where some existential is instantiated with the last proof commandHendrik Tews
2012-01-03hide the dependent evars lineHendrik Tews
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
2011-12-16Fixed some regexp. One for goal closing detection and one forPierre Courtieu
2011-12-07- protect proof-shell-handle-delayed-output against the case whereHendrik Tews
2011-12-06ensure optim-resp-window does not change the current bufferHendrik Tews
2011-12-05Applied a patch from Tom Prince which makesPierre Courtieu
2011-11-15Quick stab at support for switching to proof shell when interactive support e...David Aspinall
2011-11-14Small fixes to coq smie indentation.Pierre Courtieu
2011-11-11Fixed coq smie indentation.Pierre Courtieu
2011-11-10Fixed coq smie indentation.Pierre Courtieu
2011-11-10fixed some small bugs in coq indentation smie code.Pierre Courtieu
2011-11-08added utf8 quantifiers for indentation + small fix in indentation.Pierre Courtieu
2011-11-07Fixing syntax.Pierre Courtieu
2011-11-07Fixed a bit more smie coq indentation. Still unfinished but useable.Pierre Courtieu
2011-11-05Fixed several more bugs in smie indentation code. Not finished.Pierre Courtieu
2011-11-04slowly fixing the last small bugs in smie indentation.Pierre Courtieu
2011-11-04Fix previous commit (again).Pierre Courtieu
2011-11-04Fix previous commit.Pierre Courtieu
2011-11-03* coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.Stefan Monnier
2011-11-03Fixed the indentation of different kinds of use of the with keyword.Pierre Courtieu
2011-11-02Added bullet indentation in smie code. smie code still needs somePierre Courtieu
2011-10-17Attempt to support stricter bytecomp flagsDavid Aspinall
2011-10-03Move a comment to docstringDavid Aspinall
2011-09-23fix coqdep warning treated as error (library occurring atHendrik Tews
2011-09-15fix widget descriptions of coq-load-pathHendrik Tews
2011-09-15-add support for -R and -I -as in coq-load-pathHendrik Tews
2011-09-14fix #421 with solution 1Hendrik Tews
2011-09-09fix documentation errorHendrik Tews
2011-08-29Non Unicode charDavid Aspinall
2011-08-23Add back annotation for docstring for texinfoDavid Aspinall
2011-08-23Move coq-prog-name back to coq.elDavid Aspinall
2011-07-26Fix compile when smie isnt availableDavid Aspinall
2011-07-05+ fix documentation and one spelling errorHendrik Tews
2011-06-17oops, undo last commit.Pierre Courtieu
2011-06-17Fix mais le find-father ne marche pas encore.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 12:55:13 +0000