docs: bump the next version to 0.4.0 (#172)

RedPRL · Oct 28, 2024 · e444ed0 · e444ed0
1 parent d426524
commit e444ed0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Asai.mli b/src/Asai.mli
@@ -4,17 +4,17 @@
 
 (** {1 Core API} *)
 
-(** Locations and ranges. *)
+(** Positions and ranges in a string or a file. *)
 module Range = Range
 
 (** Texts that preserve pretty-printing structures.
 
-    @since 0.3.2 *)
+    @since 0.4.0 *)
 module Text = Text
 
 (** Located texts. "Loctext" is a portmanteau of "locate" and "text".
 
-    @since 0.3.2 *)
+    @since 0.4.0 *)
 module Loctext = Loctext
 
 (** The definition of diagnostics and some utility functions. *)