aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-db.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Changed the look of folding/unfolding hyps.Gravatar Pierre Courtieu2018-06-08
* small fix of face `coq-symbol-face'Gravatar stardiviner2018-04-22
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Prettier cheat face (background + box).Gravatar Pierre Courtieu2017-11-06
* Fix #135.Gravatar Pierre Courtieu2017-11-06
* Adding the option to highlight susual symbols.Gravatar Pierre Courtieu2016-07-22
* Highlight ltac:(), constr:(), and uconstr:()Gravatar Clément Pit--Claudel2016-03-05
* Introduce a coq-question-mark-faceGravatar Clément Pit--Claudel2015-11-23
* bold unicode biders + Fixing highlighting in goals and response buffers + cle...Gravatar Pierre Courtieu2015-04-14
* Added comment.Gravatar Pierre Courtieu2015-04-07
* Added a command to send Queries to coq, with completion (C-c C-a C-q).Gravatar Pierre Courtieu2015-03-13
* Fixed a bug with function name "eval" (end of).Gravatar Pierre Courtieu2012-09-06
* Fix lambda quoteGravatar David Aspinall2012-08-16
* Summary: coq-smie: improve indentation.Gravatar Stefan Monnier2011-06-07
* Fixes in strings/comments from Erik Martin-DorelGravatar David Aspinall2010-10-04
* Fixed colorization bug #356, introduced by a previous fix of bug 140.Gravatar Pierre Courtieu2010-09-28
* Fix some bugs in coq regexp generationGravatar David Aspinall2010-09-22
* Fix compileGravatar David Aspinall2010-09-08
* First fix of bug introduced by the last font-lock fix. Not finished.Gravatar Pierre Courtieu2010-09-03
* Style fixesGravatar David Aspinall2010-08-30
* Added some more syntax keywords. Made admit tactic with its own redGravatar Pierre Courtieu2009-09-17
* Fix compile warningsGravatar David Aspinall2009-09-16
* Require cl for compilation. Rearrange docs.Gravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Made customizable holes mode completion in abbreviations.Gravatar Pierre Courtieu2009-08-31
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* Fixed a problem with a wrong side effect on syntax databases (whenGravatar Pierre Courtieu2008-01-28
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* Require for defface macroGravatar David Aspinall2007-12-14
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* adding coq-solve tacticsGravatar Assia Mahboubi2007-11-20
* Menu are now correctly sorted.Gravatar Pierre Courtieu2007-11-07
* Debugging font-lock regexps. Bad order: longer regexp should be putGravatar Pierre Courtieu2007-11-07
* Fixed small colorizing bugs (when keywords contain sub words colorizedGravatar Pierre Courtieu2007-10-30
* Updated.Gravatar David Aspinall2006-09-07
* Small fixes.Gravatar Pierre Courtieu2006-08-25
* Changed default coq version (8.1)Gravatar Pierre Courtieu2006-08-25
* Cleaning in coq and lib, fixed licenses and docstrings.Gravatar Pierre Courtieu2006-08-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 09:36:38 +0000