diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-17 09:00:36 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-08-17 09:00:36 +0000 |
commit | d65c721ad83fe20e367cd615bea495bccd99df8c (patch) | |
tree | c1f48facd9144d94e53b9a0813d5fb651428702a | |
parent | 0f58b302c0553c0cb738432bd6bd0dd53e8852cb (diff) |
Version 2.00
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | utils/config.mlp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/config.mlp b/utils/config.mlp index 587300d51..71469b926 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -11,7 +11,7 @@ (* $Id$ *) -let version = "1.07+7" +let version = "2.00" let standard_library = try |