aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-db.el
Commit message (Expand)AuthorAge
* 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-12 16:01:00 +0000