aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-db.el
AgeCommit message (Expand)Author
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-04-26 20:18:03 +0000