aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/mltop.ml4
Commit message (Expand)AuthorAge
* Minor code improvements around libobjectGravatar herbelin2010-10-31
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Add support for Local Declare ML ModuleGravatar glondu2009-09-29
* Replace unprotected call to where_in_path by find_file_in_pathGravatar glondu2009-09-17
* Remove useless Liboject.export_function fieldGravatar glondu2009-09-17
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Death of "survive_module" and "survive_section" (the first one wasGravatar herbelin2009-08-13
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* - configure: affiche si le natdynlink est positionneGravatar barras2009-03-17
* Better mechanism for loading initial pluginsGravatar letouzey2009-03-14
* Allow to turn contrib/subtac into a (nat)dynlink'able pluginGravatar letouzey2009-02-03
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Completed 11745 (move of jprover to user contribs) and cleaned 11743Gravatar herbelin2009-01-05
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Sequel of 11697: repair coqtop.byte when contribs are statically linked (+min...Gravatar letouzey2008-12-17
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* - Synchronized subst_object with load_object (load_and_subst_objects)Gravatar herbelin2008-11-23
* - Fixed minor bug #1994 in the tactic chapter of the manual [doc]Gravatar herbelin2008-11-22
* Remove calls to Dynlink.add_{interfaces,available_units} altogetherGravatar glondu2008-10-29
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms deGravatar herbelin2006-11-21
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06Gravatar herbelin2004-07-17
* Branchement sur pa_macro, pa_ifdef devenant obsolete en 3.08Gravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Reparation plus juste de l'inefficacite avec loaded_modules (respecte l'ordre)Gravatar herbelin2003-10-04
* Correction bug explosion de la taille de la liste loaded_modulesGravatar herbelin2003-10-03
* *** empty log message ***Gravatar barras2003-03-12
* Chargement dynamique de .cmaGravatar delahaye2003-02-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Meilleure gestion de la reduction dans FieldGravatar delahaye2002-03-17
* compat ocaml 3.03Gravatar filliatr2001-12-13
* OopsGravatar barras2001-11-05
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Amélioration mise en page Print ML Module et Print ML ModuleGravatar herbelin2001-10-17
* On ignore les répertoires qui ne correspondent pas à des identsGravatar herbelin2001-09-20
* Protection hd d'une liste videGravatar herbelin2001-09-19
* ParsingGravatar herbelin2001-08-10