aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-db.el
AgeCommit message (Expand)Author
2021-04-08Fixing hypothesis folding GUI.Pierre Courtieu
2019-05-16Highlight diffs in goals and some error messagesJim Fehrle
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-06-08Changed the look of folding/unfolding hyps.Pierre Courtieu
2018-04-22small fix of face `coq-symbol-face'stardiviner
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-11-06Prettier cheat face (background + box).Pierre Courtieu
2017-11-06Fix #135.Pierre Courtieu
2016-07-22Adding the option to highlight susual symbols.Pierre Courtieu
2016-03-05Highlight ltac:(), constr:(), and uconstr:()Clément Pit--Claudel
2015-11-23Introduce a coq-question-mark-faceClément Pit--Claudel
2015-04-14bold unicode biders + Fixing highlighting in goals and response buffers + cle...Pierre Courtieu
2015-04-07Added comment.Pierre Courtieu
2015-03-13Added a command to send Queries to coq, with completion (C-c C-a C-q).Pierre Courtieu
2012-09-06Fixed a bug with function name "eval" (end of).Pierre Courtieu
2012-08-16Fix lambda quoteDavid Aspinall
2011-06-07Summary: coq-smie: improve indentation.Stefan Monnier
2010-10-04Fixes in strings/comments from Erik Martin-DorelDavid Aspinall
2010-09-28Fixed colorization bug #356, introduced by a previous fix of bug 140.Pierre Courtieu
2010-09-22Fix some bugs in coq regexp generationDavid Aspinall
2010-09-08Fix compileDavid Aspinall
2010-09-03First fix of bug introduced by the last font-lock fix. Not finished.Pierre Courtieu
2010-08-30Style fixesDavid Aspinall
2009-09-17Added some more syntax keywords. Made admit tactic with its own redPierre Courtieu
2009-09-16Fix compile warningsDavid Aspinall
2009-09-07Require cl for compilation. Rearrange docs.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-31Made customizable holes mode completion in abbreviations.Pierre Courtieu
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-01-28Fixed a problem with a wrong side effect on syntax databases (whenPierre Courtieu
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2008-01-03Fixed abbrev installation. + small fixes.Pierre Courtieu
2007-12-14Require for defface macroDavid Aspinall
2007-12-14Fix compilation problems and rearrange startup settings for coq-prog-name,coq...David Aspinall
2007-11-20adding coq-solve tacticsAssia Mahboubi
2007-11-07Menu are now correctly sorted.Pierre Courtieu
2007-11-07Debugging font-lock regexps. Bad order: longer regexp should be putPierre Courtieu
2007-10-30Fixed small colorizing bugs (when keywords contain sub words colorizedPierre Courtieu
2006-09-07Updated.David Aspinall
2006-08-25Small fixes.Pierre Courtieu
2006-08-25Changed default coq version (8.1)Pierre Courtieu
2006-08-23Cleaning in coq and lib, fixed licenses and docstrings.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:23 +0000