[doc] @modify -> @since

src/kernel_services/ast_data/annotations.mli

@@ -281,7 +281,7 @@ val add_code_annot:
     There can be at most one loop variant registered per statement.
     Attempting to register a second one will result in a fatal error.
 
-    @modify 22.0-Titanium: add keep_empty argument
+    @before 22.0-Titanium there was no [keep_empty] optional argument
 *)
 
 val add_assert:

src/kernel_services/ast_queries/logic_typing.mli

@@ -142,7 +142,7 @@ type typing_context = {
       a text message indicating the issue) and the exception will be re-raised.
 
       @since Chlorine-20180501
-      @modify Frama-C+dev rollback takes as argument the error
+      @before Frama-C+dev [rollback] didn't take [loc] and [cause] as argument
   *)
 }
 

src/libraries/stdlib/integer.mli

@@ -214,10 +214,15 @@ val to_string : t -> string
 val of_string : string -> t
 (** @raise Invalid_argument when the string cannot be parsed. *)
 
-(** @modify Frama-C+dev remove optional `hexa` argument *)
+(** Prints the integer in decimal format. See also {!pretty_hex}.
+
+    @before Frama-C+dev there was an optional [hexa] argument. *)
 val pretty : t formatter
 
-(** @since Frama-C+dev *)
+(** Prints the integer in hexadecimal format (replaces [hexa] optional
+    argument of {!pretty} from older versions).
+
+    @since Frama-C+dev *)
 val pretty_hex : t formatter
 
 val pp_bin : ?nbits:int -> ?sep:string -> t formatter