From 3cac42e6cbb135bae9fc5e43627570765305219b Mon Sep 17 00:00:00 2001
From: Makarius <makarius@sketis.net>
Date: Sat, 3 Dec 2022 12:39:00 +0100
Subject: [PATCH] Clarified order

---
 src/scala/dof.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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,