aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* A shortcut for coq-insert-as-in-next-command.Gravatar Pierre Courtieu2015-11-26
* Introduce a coq-question-mark-faceGravatar Clément Pit--Claudel2015-11-23
* recompilation: Improve error checkingGravatar Clément Pit--Claudel2015-11-17
* compilation fix (coq-pre-v85).Gravatar Pierre Courtieu2015-11-13
* Experimenting less brutal frame deletion.Gravatar Pierre Courtieu2015-11-13
* Fixed auto-width setting not initialized (trac #456).Gravatar Pierre Courtieu2015-11-13
* Cleaning code for auto width adapting.Gravatar Pierre Courtieu2015-11-13
* Tentative fix for #10Gravatar Clément Pit--Claudel2015-11-12
* Debuging: display a warning.Gravatar Pierre Courtieu2015-11-12
* coq-pre-v85 option to fix coqdep invocation in [compile before require].Gravatar Pierre Courtieu2015-11-02
* Re-thinking auto-insert-as.Gravatar Pierre Courtieu2015-10-20
* Fixed the regexp for colorizing hyps in the goal.Gravatar Pierre Courtieu2015-10-15
* Fixed coq-id-at-point.Gravatar Pierre Courtieu2015-10-13
* proof-retract-command-hook added + more auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-13
* proof-assert-command-hook added + Auto adjust width in coq mode.Gravatar Pierre Courtieu2015-10-12
* Fixing < 25 use of window-frame (mandatory arg).Gravatar Pierre Courtieu2015-10-09
* Put 'delete-selection t on coq-terminator-insertGravatar Clément Pit--Claudel2015-10-06
* Trying to deal with debug mode.Gravatar Pierre Courtieu2015-10-06
* colorizing hypothesis in compact mode.Gravatar Pierre Courtieu2015-09-29
* Fixed #1 (Missing space in coq-insert-intros).Gravatar Pierre Courtieu2015-09-29
* Cleaned TODO file in coq/.Gravatar Pierre Courtieu2015-09-29
* More Fixes when issuing commands from another buffer.Gravatar Pierre Courtieu2015-09-25
* Fixed bug when issuing commands from another buffer than scripting one.Gravatar Pierre Courtieu2015-09-25
* hyps highlighting now supports compact contexts (in coq trunk soon).Gravatar Pierre Courtieu2015-09-22
* Added a moderate support for double quotes in -arg lines of _CoqProject.Gravatar Pierre Courtieu2015-06-23
* robustify last commit (disabling smie show-paren).Gravatar Pierre Courtieu2015-05-19
* Disable smie parenthesis blink. Too slow sometimes.Gravatar Pierre Courtieu2015-05-19
* Fixes #492. fixed regexp (\\< --> \\_< everywhere).Gravatar Pierre Courtieu2015-05-07
* Fixes #484. Added syntax.Gravatar Pierre Courtieu2015-05-07
* Fixes #485.Gravatar Pierre Courtieu2015-05-07
* Fixes #486 with an option.Gravatar Pierre Courtieu2015-05-07
* Yet another half fix of smie lexer.Gravatar Pierre Courtieu2015-05-07
* Fixed at-point detection (bis).Gravatar Pierre Courtieu2015-04-27
* Fixed at-point detection.Gravatar Pierre Courtieu2015-04-27
* bold unicode biders + Fixing highlighting in goals and response buffers + cle...Gravatar Pierre Courtieu2015-04-14
* Debugging font-lock for ∀, ∃, and λ.Gravatar Pierre Courtieu2015-04-13
* Added unicode forall in font-lock regexps.Gravatar Pierre Courtieu2015-04-10
* Added comment.Gravatar Pierre Courtieu2015-04-07
* Fixed coq-id definition to be correct wrt to coq grammar.Gravatar Pierre Courtieu2015-04-07
* Fixed highlighting of evars.Gravatar Pierre Courtieu2015-04-07
* Trying to prepare indentation cleaning...Gravatar Pierre Courtieu2015-04-03
* Highlighting stuff in goals mode (C-c C-a C-h). Very basic for now.Gravatar Pierre Courtieu2015-04-02
* Fix fill-paragraph merging comments and code (never fill code).Gravatar Pierre Courtieu2015-04-01
* Fixed smie code for ";" + added || in grammar.Gravatar Pierre Courtieu2015-03-31
* Fixed a small bug in indentation.Gravatar Pierre Courtieu2015-03-27
* Fix disable evar colorizing in coq file.Gravatar Pierre Courtieu2015-03-27
* Fixed a regex for detecting ids at point.Gravatar Pierre Courtieu2015-03-27
* Colorizing hyps names robustified. Still incomplete.Gravatar Pierre Courtieu2015-03-26
* A command to set coq printing width smartly.Gravatar Pierre Courtieu2015-03-26
* A remark about project file in the documentation.Gravatar Pierre Courtieu2015-03-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 21:18:50 +0000