aboutsummaryrefslogtreecommitdiff
path: root/coq
AgeCommit message (Expand)Author
2015-04-07Fixed coq-id definition to be correct wrt to coq grammar.Pierre Courtieu
2015-04-07Fixed highlighting of evars.Pierre Courtieu
2015-04-03Trying to prepare indentation cleaning...Pierre Courtieu
2015-04-02Highlighting stuff in goals mode (C-c C-a C-h). Very basic for now.Pierre Courtieu
2015-04-01Fix fill-paragraph merging comments and code (never fill code).Pierre Courtieu
2015-03-31Fixed smie code for ";" + added || in grammar.Pierre Courtieu
2015-03-27Fixed a small bug in indentation.Pierre Courtieu
2015-03-27Fix disable evar colorizing in coq file.Pierre Courtieu
2015-03-27Fixed a regex for detecting ids at point.Pierre Courtieu
2015-03-26Colorizing hyps names robustified. Still incomplete.Pierre Courtieu
2015-03-26A command to set coq printing width smartly.Pierre Courtieu
2015-03-26A remark about project file in the documentation.Pierre Courtieu
2015-03-26Fixed a smal bug in colorizing response buffer.Pierre Courtieu
2015-03-24Fixed indetation of tryif then else.Pierre Courtieu
2015-03-24fixed gfail hilighting.Pierre Courtieu
2015-03-24added some keywordsPierre Courtieu
2015-03-23Highlighting evars.Pierre Courtieu
2015-03-23Fixed lazymatch and multimatch indentation/highlighting.Pierre Courtieu
2015-03-13Some comments for future work.Pierre Courtieu
2015-03-13Added a command to send Queries to coq, with completion (C-c C-a C-q).Pierre Courtieu
2015-03-05Customization variables for modules, section and proof indentation.Pierre Courtieu
2015-03-04Fixed Proof end/start detection on Proof using ...Pierre Courtieu
2015-03-04Fixed compilation issue with previous commit + CHANGE updates.Pierre Courtieu
2015-03-03Mouse queries.Pierre Courtieu
2015-03-03Coqtop always restarted when switching script buffer.Pierre Courtieu
2015-02-24Making freeze buffer hace coq-response-more.Pierre Courtieu
2015-02-23Typo in last commit.Pierre Courtieu
2015-02-23Fixed a bug in syntax table making fontlock and indentation fail.Pierre Courtieu
2015-02-11Fixed read-only error for compile before require option.Pierre Courtieu
2015-02-09replug removal of induction principle in SearAbout queries.Pierre Courtieu
2015-02-09Adding function to grab things at point and send queries about it.Pierre Courtieu
2015-02-06Removed a debugging message.Pierre Courtieu
2015-02-05Fix colorization of for coq multiple hypothesis on the same line.Pierre Courtieu
2015-02-04cleaned previous commits (generic variable to disable error coloring).Pierre Courtieu
2015-02-04Fixed previous commit (wrong regexp).Pierre Courtieu
2015-02-03coloring names in resposne and goalsPierre Courtieu
2015-02-03beautified a bit error messages.Pierre Courtieu
2015-02-03cleaning regexp.Pierre Courtieu
2015-01-30Set double hit electric terminator back. Disabled by default.Pierre Courtieu
2015-01-27Fix coq project parsing and interpreting for coq v8.5.Pierre Courtieu
2015-01-27Fixed a bug in script navigation. Updated CHANGEPierre Courtieu
2015-01-14changed default indentation of match's cases.Pierre Courtieu
2015-01-09failed and commented attempt at improving indentation of records.Pierre Courtieu
2015-01-09Removing non-smie indentation + fix CHANGES.Pierre Courtieu
2015-01-05Fixing indentation of pending curly braces.Pierre Courtieu
2015-01-05Fix compile on 23.xDavid Aspinall
2015-01-05trying to indent pending forall in the expected wayPierre Courtieu
2014-12-30removed debug message.Pierre Courtieu
2014-12-30fixed indentation (lexing of 'with') + made local coq-load-path.Pierre Courtieu
2014-12-24fixed a bug in command parsing for coq, due to recent changes.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 12:31:11 +0000