aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-db.el
Commit message (Expand)AuthorAge
* 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-06-17 15:27:04 +0000