aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Fixing indentation of ";".Gravatar Pierre Courtieu2016-01-08
* indentation of ";" more accurate.Gravatar Pierre Courtieu2016-01-08
* Fixing outdenting in ";" indetation.Gravatar Pierre Courtieu2016-01-08
* Trying to indent ";" differently inside Ltac defs.Gravatar Pierre Courtieu2016-01-08
* Fixed indentation of ";" tactical.Gravatar Pierre Courtieu2016-01-07
* Merge pull request #22 from ProofGeneral/fix-scrolling-buffersGravatar Pierre Courtieu2016-01-06
|\
* | Adding uset preference coq-indent-semicolon-tactical.Gravatar Pierre Courtieu2016-01-06
* | Fixing #25.Gravatar Pierre Courtieu2016-01-06
* | Fixing #20. #19 fixed by a commit in coq-8.5.Gravatar Pierre Courtieu2016-01-06
* | First try to fix #19 and #20. Not finished.Gravatar Pierre Courtieu2016-01-04
| * Fix spurious scrolling of *goals* and *response* buffersGravatar Clément Pit--Claudel2015-12-31
* | comment and readme.Gravatar Pierre Courtieu2015-12-31
* | Refactoring. New file coq-system.el.Gravatar Pierre Courtieu2015-12-14
|/
* Small refactoring of coqxxx args detection.Gravatar Pierre Courtieu2015-12-14
* Fixing coq-prog-arg for auto compilation.Gravatar Pierre Courtieu2015-12-14
* Fixing variable declaration.Gravatar Pierre Courtieu2015-12-10
* Adding an setting for Search Blacklist coq option.Gravatar Pierre Courtieu2015-12-09
* Speeding up indentation (regexp optim).Gravatar Pierre Courtieu2015-12-07
* Speeding up indentation.Gravatar Pierre Courtieu2015-12-07
* Fixed #15 + more speedup of indentation.Gravatar Pierre Courtieu2015-12-05
* Fixed a typo.Gravatar Pierre Courtieu2015-12-04
* Speeding up indentation code (smie lexer).Gravatar Pierre Courtieu2015-11-30
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 15:40:45 +0000