| Age | Commit message (Expand) | Author |
|---|
| 2016-01-11 | CLEANUP: kernel/context.ml{,i} | Matej Kosik |
| 2015-08-22 | Merge branch 'v8.5' | Pierre-Marie Pédrot |
| 2015-08-17 | Remove generatable documentation files from repository. (Fix bug #4315) | Guillaume Melquiond |
| 2015-06-22 | update gitignore | Pierre Boutillier |
| 2015-03-03 | Add missing test-suite files and update gitignore. | Matthieu Sozeau |
| 2015-01-06 | rename: vi -> vio | Enrico Tassi |
| 2014-12-11 | Ignore *.vi files, just like *.vo files. | Xavier Clerc |
| 2014-09-08 | Removing the XML plugin. | Pierre-Marie Pédrot |
| 2014-08-26 | Configure.ml creates metadata to annotate MacOS binaries | Pierre Boutillier |
| 2014-07-25 | Add emacs auto-save and crash-save files to the .gitignore. | Arnaud Spiwack |
| 2014-07-25 | Add *.crashcoqide files to the .gitignore. | Arnaud Spiwack |
| 2014-07-25 | Add lia.cache to the .gitignore | Arnaud Spiwack |
| 2014-05-22 | Ignore generated file. | Guillaume Melquiond |
| 2014-05-06 | This commit adds full universe polymorphism and fast projections to Coq. | Matthieu Sozeau |
| 2014-02-24 | Fix coqide build under MacOS | Pierre Boutillier |
| 2013-04-18 | coqc and coqmktop migrated in tools/, get rid of scripts/ subdir | letouzey |
| 2013-01-22 | Added .native to .gitignore | ppedrot |
| 2012-10-29 | Allow running coq-tex in win32 (fix #2921) | letouzey |
| 2012-10-17 | univ inconsistency error message gives evidence of a cycle | barras |
| 2012-10-06 | Turn mltop.ml4 into a regular ocaml file | letouzey |
| 2012-10-04 | Moved Compat to parsing. This permits to break the dependency of the | ppedrot |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | letouzey |
| 2012-05-30 | Adds Reference-Manual.out to .gitignore | letouzey |
| 2012-05-29 | place all files specific to camlp4 syntax extensions in grammar/ | letouzey |
| 2012-04-27 | Configure asks for lablgtk >= 2.12 with gtksourceview2 | pboutill |
| 2012-03-22 | Update of .gitignore (via a regexp g_*.ml) | letouzey |
| 2012-01-13 | Added a Btauto plugin, that solves boolean tautologies. | ppedrot |
| 2011-12-27 | Bug 2669 and more: make full-stdlib | pboutill |
| 2011-11-29 | lib/xml_lexer.ml in .gitignore (produced by a .mll) | letouzey |
| 2011-09-01 | gitignore update | pboutill |
| 2011-01-25 | Update .gitignore | glondu |
| 2010-10-31 | Add (quilt's) .pc to .gitignore | glondu |
| 2010-06-03 | Misc fixes related to new nsatz (and ocamlbuild) | letouzey |
| 2010-05-19 | Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way | letouzey |
| 2010-04-29 | "make source-doc" builds documentation of mli in html and pdf at | pboutill |
| 2010-04-26 | Misc small fixes : warning, dep cycles, ocamlbuild... | letouzey |
| 2010-04-10 | Update .gitignore | glondu |
| 2010-04-09 | Add test-suite/lia.cache to .gitignore | glondu |
| 2010-03-29 | Several bug-fixes and improvements of coqdoc | herbelin |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2010-02-25 | ide/coq_lex.ml in .gitignore | letouzey |
| 2010-02-25 | Ignoring .spit/.spot files from OCamlSpotter | thutchin |
| 2010-01-25 | NMake: several things need not be macro-generated | letouzey |
| 2010-01-14 | Add *.annot to .gitignore | glondu |
| 2009-12-13 | Addition of mergesort + cleaning of the Sorting library | herbelin |
| 2009-12-02 | Update .gitignore | glondu |
| 2009-08-11 | Ajout des .annot dans le .gitignore. | aspiwack |
| 2009-08-02 | Improved parameterization of Coq: | herbelin |
| 2009-07-30 | Git ignore files | herbelin |
| 2009-07-30 | For git users, a global .gitignore file | letouzey |
