| Age | Commit message (Expand) | Author |
|---|
| 2009-08-07 | Fixed incorrect optimization in Prettyp.pr_located_qualid introduced | herbelin |
| 2009-08-06 | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin |
| 2009-08-02 | Improved parameterization of Coq: | herbelin |
| 2009-05-26 | ocamldebug-coq: add some forgotten -I | letouzey |
| 2009-05-24 | Moved and completed the history of Coq versions from the | herbelin |
| 2009-05-20 | - Fixing declarative mode in presence of high use of Change_evars nodes | herbelin |
| 2009-05-09 | - Adding "Hint Resolve ->" and "Hint Resolve <-" for declaration of equivalence | herbelin |
| 2009-04-27 | - Cleaning (unification of ML names, removal of obsolete code, | herbelin |
| 2009-04-25 | - Fixing #2090 (occur check missing when trying to solve evar-evar equation). | herbelin |
| 2009-04-14 | Correction du patch -rectypes pour ocaml 3.10 | vsiles |
| 2009-03-31 | Complementary fix to have ocamlopt_shared_os5fix.sh working correctly | herbelin |
| 2009-03-30 | Fix the fix script for ocamlopt -shared in MacOS 10.5 (remarks by Hugo) | letouzey |
| 2009-03-29 | ocamlbuild: many improvements (macos 10.5 fix, correct dllpath, etc) | letouzey |
| 2009-03-20 | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-17 | Uniformizing Tacticals, continued (allClauses -> allHypsAndConcl) | herbelin |
| 2009-03-14 | Cleaning/uniformizing the interface of tacticals.mli | herbelin |
| 2009-02-19 | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack |
| 2009-02-17 | #rectypes was already automatically added when using 3.11 | herbelin |
| 2009-02-17 | Made hack to have Drop and #use"include" working with ocaml 3.10 public | herbelin |
| 2009-02-11 | Document how FIND_VCS_CLAUSE has to be used | lmamane |
| 2009-01-19 | - Structuring Numbers and fixing Setoid in stdlib's doc. | herbelin |
| 2009-01-05 | Completed 11745 (move of jprover to user contribs) and cleaned 11743 | herbelin |
| 2008-12-29 | - Added support for subterm matching in SearchAbout. | herbelin |
| 2008-12-09 | About "apply in": | herbelin |
| 2008-11-19 | Execute #rectypes directive in embedded OCaml toplevel... | glondu |
| 2008-11-07 | - Ajout possibilité de lancer ocamldebug sur coqide | herbelin |
| 2008-10-19 | - Export de pattern_ident vers les ARGUMENT EXTEND and co. | herbelin |
| 2008-09-06 | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | glondu |
| 2008-09-02 | Propagating commit 11343 from branch v8.2 to trunk (wish 1934 about | herbelin |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-01 | Various bug fixes in type classes and subtac: | msozeau |
| 2008-06-11 | MAJ diverses | herbelin |
| 2008-06-08 | - Patch sur "intros until 0" | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-06-06 | ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l... | soubiran |
| 2008-06-05 | Fix typos | lmamane |
| 2008-05-28 | - Correction bug highlighting "Module" dans Coqide | herbelin |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-05-03 | Quelques éléments de réflexion | herbelin |
| 2008-04-27 | Correction du bug des types singletons pas sous-type de Set | herbelin |
| 2008-04-24 | - Add pretty-printers for Idpred, Cpred and transparent_state, used for | msozeau |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-16 | first-order --> firstorder (kills a warning about not being a valid id) | letouzey |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-03 | Chgts mineurs: | herbelin |
| 2008-03-18 | Hint for Debian users. | glondu |
| 2008-02-13 | Implement KEEP_ML4_PREPROCESSED option in build system | lmamane |
| 2008-02-13 | Implement NO_RECALC_DEPS option in build system | lmamane |
