aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq.el
Commit message (Expand)AuthorAge
...
* 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
* Fixed a bug in syntax table making fontlock and indentation fail.Gravatar Pierre Courtieu2015-02-23
* replug removal of induction principle in SearAbout queries.Gravatar Pierre Courtieu2015-02-09
* Adding function to grab things at point and send queries about it.Gravatar Pierre Courtieu2015-02-09
* Removed a debugging message.Gravatar Pierre Courtieu2015-02-06
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* coloring names in resposne and goalsGravatar Pierre Courtieu2015-02-03
* beautified a bit error messages.Gravatar Pierre Courtieu2015-02-03
* cleaning regexp.Gravatar Pierre Courtieu2015-02-03
* Set double hit electric terminator back. Disabled by default.Gravatar Pierre Courtieu2015-01-30
* Fix coq project parsing and interpreting for coq v8.5.Gravatar Pierre Courtieu2015-01-27
* Removing non-smie indentation + fix CHANGES.Gravatar Pierre Courtieu2015-01-09
* Fixing indentation of pending curly braces.Gravatar Pierre Courtieu2015-01-05
* Fix a special case in _CoqProject syntax (empty string).Gravatar Pierre Courtieu2014-12-23
* Refix prettify compilation bug.Gravatar Pierre Courtieu2014-12-23
* fixed comilation of prettify setting.Gravatar Pierre Courtieu2014-12-23
* Fixed a compilation issue + small display glitch in coqpgGravatar Pierre Courtieu2014-12-22
* Fixing a bug of multiple frame mode (obsolete variable in emacs > 23.4.Gravatar Pierre Courtieu2014-12-22
* Fixed response display spurious newlines for coq.Gravatar Pierre Courtieu2014-12-18
* Remove trailing space in info messages in coq mode.Gravatar Pierre Courtieu2014-12-16
* Added a way to print eager message without warning face.Gravatar Pierre Courtieu2014-12-16
* make name filtering of searchabout more precise.Gravatar Pierre Courtieu2014-12-09
* Added a variant of searchAbout hiding some spurious entries.Gravatar Pierre Courtieu2014-12-09
* Rename coq-smie-lexer.el to coq-smie.el.Gravatar Stefan Monnier2014-06-03
* * coq.el (coq-prettify-symbols-alist): New var.Gravatar Stefan Monnier2014-06-02
* Fixing coq project file parsing + moved project options.Gravatar Pierre Courtieu2013-07-22
* fix type of coq-project-filenameGravatar Hendrik Tews2013-07-17
* disable and protect coq-hide-additional-subgoals-switch for coq-time-commandsGravatar Hendrik Tews2013-07-17
* fix typo and compilationGravatar Hendrik Tews2013-07-11
* Fixing a big bug in coq project file management.Gravatar Pierre Courtieu2013-07-11
* Fixed interaction between file variables and coq project file + faq.Gravatar Pierre Courtieu2013-07-09
* Fixing again bug #466. With a bbetter solution.Gravatar Pierre Courtieu2013-07-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 11:55:53 +0000