diff --git a/src/plugins/from/from.ml b/src/plugins/from/From.ml
similarity index 100%
rename from src/plugins/from/from.ml
rename to src/plugins/from/From.ml
diff --git a/src/plugins/from/from.mli b/src/plugins/from/From.mli
similarity index 96%
rename from src/plugins/from/from.mli
rename to src/plugins/from/From.mli
index f71b8ed9ebe57a2842e754756ba879c6000176db..ba438f58b2c6f41247336c98f4e111409d45fdbb 100644
--- a/src/plugins/from/from.mli
+++ b/src/plugins/from/From.mli
@@ -22,16 +22,25 @@
 
 open Cil_types
 
-val self : State.t
+(** {3 Analysis} *)
+
 val is_computed : kernel_function -> bool
 val compute : kernel_function -> unit
 val compute_all : unit -> unit
-val compute_all_calldeps : unit -> unit
+
 val get : Cil_types.kernel_function -> Function_Froms.froms
 val access : Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t
+
+val self : State.t
+
+(** {3 Pretty-printing} *)
+
 val pretty : Format.formatter -> kernel_function -> unit
 val display : Format.formatter -> unit
 
+(** {3 Callsite-wise analysis} *)
+
+val compute_all_calldeps : unit -> unit
 module Callwise : sig
   val iter : (Cil_types.kinstr -> Function_Froms.froms -> unit) -> unit
   val find : Cil_types.kinstr -> Function_Froms.froms