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