aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-09-25More Fixes when issuing commands from another buffer.Pierre Courtieu
2015-09-25Fixed bug when issuing commands from another buffer than scripting one.Pierre Courtieu
2015-09-22hyps highlighting now supports compact contexts (in coq trunk soon).Pierre Courtieu
2015-06-23Added a moderate support for double quotes in -arg lines of _CoqProject.Pierre Courtieu
2015-06-23Update to CHANGE.Pierre Courtieu
2015-05-19robustify last commit (disabling smie show-paren).Pierre Courtieu
2015-05-19Disable smie parenthesis blink. Too slow sometimes.Pierre Courtieu
2015-05-07Fixes #492. fixed regexp (\\< --> \\_< everywhere).Pierre Courtieu
2015-05-07Fixes #484. Added syntax.Pierre Courtieu
2015-05-07Fixes #485.Pierre Courtieu
2015-05-07Fixes #486 with an option.Pierre Courtieu
2015-05-07Yet another half fix of smie lexer.Pierre Courtieu
2015-04-27Fixed at-point detection (bis).Pierre Courtieu
2015-04-27Fixed at-point detection.Pierre Courtieu
2015-04-14bold unicode biders + Fixing highlighting in goals and response buffers + cle...Pierre Courtieu
2015-04-13Debugging font-lock for ∀, ∃, and λ.Pierre Courtieu
2015-04-10Added unicode forall in font-lock regexps.Pierre Courtieu
2015-04-07Added comment.Pierre Courtieu
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-13Summary: remove non-BSD cp argDavid Aspinall
2015-03-13Update dates for release next monthDavid Aspinall
2015-03-13Summary: Experimental DockerfileDavid Aspinall
2015-03-13Set version tag for new release.David Aspinall
2015-03-13Summary: FAQ about copying output into new buffersDavid Aspinall
2015-03-13Summary: Fix to work with dark color themes (stipple with header-line face)David Aspinall
2015-03-13Summary: Compile warning on speedbar-add-supported-extensionDavid Aspinall
2015-03-13Summary: Fix for bug #489 (make p-electric-terminator-enable appear as minor ...David Aspinall
2015-03-13Some comments for future work.Pierre Courtieu
2015-03-13Summary: Revert change to default EMACSDavid Aspinall
2015-03-13(fixes last commit) Added a command to send Queries to coq, with completion (...Pierre Courtieu
2015-03-13Added a command to send Queries to coq, with completion (C-c C-a C-q).Pierre Courtieu
2015-03-11Summary: Update version yearDavid Aspinall
2015-03-11Summary: Build in default path for Isabelle2014 Mac packageDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:19:07 +0000