aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
Commit message (Expand)AuthorAge
* Don't add the ‘Time’ prefix to internal Coq commandsGravatar Clément Pit--Claudel2016-02-28
* Merge pull request #40 from hendriktews/proof-treeGravatar Pierre Courtieu2016-02-17
|\
* | Fixed recent coq syntax change (tac !H become tac (H)).Gravatar Pierre Courtieu2016-01-27
| * basic proof tree changes for Coq 8.5Gravatar Hendrik Tews2016-01-24
|/
* Merge pull request #22 from ProofGeneral/fix-scrolling-buffersGravatar 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 variable declaration.Gravatar Pierre Courtieu2015-12-10
* Adding an setting for Search Blacklist coq option.Gravatar Pierre Courtieu2015-12-09
* Fixed a typo.Gravatar Pierre Courtieu2015-12-04
* A shortcut for coq-insert-as-in-next-command.Gravatar Pierre Courtieu2015-11-26
* 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 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
* Fixed #1 (Missing space in coq-insert-intros).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
* 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 #485.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
* 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 a regex for detecting ids at point.Gravatar Pierre Courtieu2015-03-27
* 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
* Added a command to send Queries to coq, with completion (C-c C-a C-q).Gravatar Pierre Courtieu2015-03-13
* Fixed compilation issue with previous commit + CHANGE updates.Gravatar Pierre Courtieu2015-03-04
* Mouse queries.Gravatar Pierre Courtieu2015-03-03
* Coqtop always restarted when switching script buffer.Gravatar Pierre Courtieu2015-03-03
* Making freeze buffer hace coq-response-more.Gravatar Pierre Courtieu2015-02-24
* Typo in last commit.Gravatar Pierre Courtieu2015-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-05 02:01:24 +0000