aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Fixed Proof end/start detection on Proof using ...Gravatar Pierre Courtieu2015-03-04
* 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
* Fixed read-only error for compile before require option.Gravatar Pierre Courtieu2015-02-11
* 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
* Fix colorization of for coq multiple hypothesis on the same line.Gravatar Pierre Courtieu2015-02-05
* cleaned previous commits (generic variable to disable error coloring).Gravatar Pierre Courtieu2015-02-04
* Fixed previous commit (wrong regexp).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
* Fixed a bug in script navigation. Updated CHANGEGravatar Pierre Courtieu2015-01-27
* changed default indentation of match's cases.Gravatar Pierre Courtieu2015-01-14
* failed and commented attempt at improving indentation of records.Gravatar Pierre Courtieu2015-01-09
* Removing non-smie indentation + fix CHANGES.Gravatar Pierre Courtieu2015-01-09
* Fixing indentation of pending curly braces.Gravatar Pierre Courtieu2015-01-05
* Fix compile on 23.xGravatar David Aspinall2015-01-05
* trying to indent pending forall in the expected wayGravatar Pierre Courtieu2015-01-05
* removed debug message.Gravatar Pierre Courtieu2014-12-30
* fixed indentation (lexing of 'with') + made local coq-load-path.Gravatar Pierre Courtieu2014-12-30
* fixed a bug in command parsing for coq, due to recent changes.Gravatar Pierre Courtieu2014-12-24
* typo in indentation cod, found after testing coq/ex/indent.v.Gravatar Pierre Courtieu2014-12-24
* fixing a small pb in indentation of arrow (->). Not perfect.Gravatar Pierre Courtieu2014-12-24
* fixed the use of >= 24.4 function string-suffix-p.Gravatar Pierre Courtieu2014-12-24
* Supporting more bullets (coq 8.5), like ++ or ++++.Gravatar Pierre Courtieu2014-12-23
* 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
* * coq/coq-smie.el: Fix precedence of 'else'.Gravatar Stefan Monnier2014-06-06
* * coq-smie.el (coq-smie-.-deambiguate): Proofs don't start with a definition.Gravatar Stefan Monnier2014-06-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 05:46:03 +0000