summaryrefslogtreecommitdiff
path: root/typing/predef.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* PredefMark Shinwell2016-01-121-2/+5
* More things in PredefMark Shinwell2016-01-121-0/+4
* Add the predefined type extension_constructorJeremie Dimino2015-11-271-0/+2
* first part of Benoît Vaugon's format-gadts patchGabriel Scherer2014-05-121-1/+0
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-2/+2
* merge branch "safe-string"Damien Doligez2014-04-291-1/+3
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge with branch bin-annotFabrice Le Fessant2012-05-301-0/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Type format4 is no more a predefined type.Pierre Weis2006-10-241-1/+0
* Introducing format6 as a built in type.Pierre Weis2006-10-241-0/+1
* Renommage type format -> format4 et reintroduction type format a 3 arguments ...Xavier Leroy2003-07-051-1/+1
* Merge branch with recursive modulesXavier Leroy2003-06-191-0/+1
* lazy a la TolmachDamien Doligez2002-01-201-0/+2
* fix -noassert pour que le typage des assertions soit toujours faitDamien Doligez2000-12-041-0/+1
* Ajout des types predefinis int32, int64, nativeint.Xavier Leroy2000-02-211-0/+6
* Merge olabl branchJacques Garrigue1999-11-301-0/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* type_mutable et type_immutable ne sont plus utilises.Jérôme Vouillon1996-05-141-2/+0
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-0/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+39