aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-12-14Fixing coq-prog-arg for auto compilation.Pierre Courtieu
2015-12-10Fixing variable declaration.Pierre Courtieu
2015-12-09Adding an setting for Search Blacklist coq option.Pierre Courtieu
2015-12-07Speeding up indentation (regexp optim).Pierre Courtieu
2015-12-07Speeding up indentation.Pierre Courtieu
2015-12-05Fixed #15 + more speedup of indentation.Pierre Courtieu
2015-12-04Fixed a typo.Pierre Courtieu
2015-11-30Speeding up indentation code (smie lexer).Pierre Courtieu
2015-11-30Updated the CHANGES files, mainly git url.Pierre Courtieu
2015-11-26A shortcut for coq-insert-as-in-next-command.Pierre Courtieu
2015-11-23Introduce a coq-question-mark-faceClément Pit--Claudel
2015-11-17recompilation: Improve error checkingClément Pit--Claudel
2015-11-13compilation fix (coq-pre-v85).Pierre Courtieu
2015-11-13Experimenting less brutal frame deletion.Pierre Courtieu
2015-11-13Fixed auto-width setting not initialized (trac #456).Pierre Courtieu
2015-11-13Cleaning code for auto width adapting.Pierre Courtieu
2015-11-12Tentative fix for #10Clément Pit--Claudel
2015-11-12Close #9Clément Pit--Claudel
2015-11-12Debuging: display a warning.Pierre Courtieu
2015-11-02coq-pre-v85 option to fix coqdep invocation in [compile before require].Pierre Courtieu
2015-10-20Re-thinking auto-insert-as.Pierre Courtieu
2015-10-15Fixed the regexp for colorizing hyps in the goal.Pierre Courtieu
2015-10-13Fixed coq-id-at-point.Pierre Courtieu
2015-10-13proof-retract-command-hook added + more auto adjust width in coq mode.Pierre Courtieu
2015-10-12proof-assert-command-hook added + Auto adjust width in coq mode.Pierre Courtieu
2015-10-09Trying to not delete frames too eagerly when laying out.Pierre Courtieu
2015-10-09Fixing 4096 character limit of scomint-send-input.Pierre Courtieu
2015-10-09Fixing < 25 use of window-frame (mandatory arg).Pierre Courtieu
2015-10-06Put 'delete-selection t on coq-terminator-insertClément Pit--Claudel
2015-10-06Move .cvsignore to .gitignoreClément Pit--Claudel
2015-10-06Trying to deal with debug mode.Pierre Courtieu
2015-09-29colorizing hypothesis in compact mode.Pierre Courtieu
2015-09-29Fixed #1 (Missing space in coq-insert-intros).Pierre Courtieu
2015-09-29Cleaned TODO file in coq/.Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:20:30 +0000