diff --git a/src/libraries/datatype/datatype.mli b/src/libraries/datatype/datatype.mli
index dfca5c26f86351caef328842b461258d5c142d97..afef4bed64d218fccfd665079b7a18b5e256173b 100644
--- a/src/libraries/datatype/datatype.mli
+++ b/src/libraries/datatype/datatype.mli
@@ -268,7 +268,7 @@ module type Hashtbl = sig
 end
 
 (** A datatype for a type [t] extended with predefined hashtbl over [t].
-
+    @since Frama-C+dev
     @see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
 *)
 module type S_with_hashtbl = sig
@@ -278,7 +278,7 @@ module type S_with_hashtbl = sig
 end
 
 (** A datatype for a type [t] extended with predefined set and map over [t].
-
+    @since Frama-C+dev
     @see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
 *)
 module type S_with_set_and_map = sig
@@ -305,24 +305,26 @@ module type S_with_collections = sig
 end
 
 (** Generic comparable datatype builder: functions [equal] and [compare] must
-    not be {!undefined}. *)
+    not be {!undefined}.
+    @since Frama-C+dev *)
 module Make_with_set_and_map(X: Make_input):
   S_with_set_and_map with type t = X.t
 
 (** Add sets and maps to an existing datatype, provided the [equal] and
     [compare] are not {!undefined}.
-    @since Oxygen-20120901 *)
+    @since Frama-C+dev *)
 module With_set_and_map(X: S)(_: Functor_info):
   S_with_set_and_map with type t = X.t
 
 (** Generic comparable datatype builder: functions [equal] and [hash] must not
-    be {!undefined}. *)
+    be {!undefined}.
+    @since Frama-C+dev *)
 module Make_with_hashtbl(X: Make_input):
   S_with_hashtbl with type t = X.t
 
 (** Add hashtables modules to an existing datatype, provided the [equal] and
     [hash] functions are not {!undefined}.
-    @since Oxygen-20120901 *)
+    @since Frama-C+dev *)
 module With_hashtbl(X: S)(_: Functor_info):
   S_with_hashtbl with type t = X.t