diff --git a/src/scala/dof.scala b/src/scala/dof.scala
index 66d2d074..7afec65a 100644
--- a/src/scala/dof.scala
+++ b/src/scala/dof.scala
@@ -83,7 +83,8 @@ object DOF {
     List(
       Parameter("isabelle_version", isabelle_version),
       Parameter("afp_version", afp_version),
-      Parameter("dof_version", version))
+      Parameter("dof_version", version)
+    ).sortBy(_.name)
 
   def print_parameters(names: List[String],
     all: Boolean = false,