From d62cd04e263386fdf122561dce79ed984108c898 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Wed, 12 Apr 2023 13:48:24 +0200
Subject: [PATCH] alphabetic order of authors

---
 Isabelle_DOF/thys/manual/M_00_Frontmatter.thy | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy b/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy
index 053ffd99..e03e1fe4 100644
--- a/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy
+++ b/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy
@@ -108,12 +108,12 @@ author*[  adb,
           orcid       ="\<open>0000-0002-6355-1200\<close>",
           http_site   ="\<open>https://www.brucker.ch/\<close>",
           affiliation ="\<open>University of Exeter, Exeter, UK\<close>"]\<open>Achim D. Brucker\<close>
-author*[  bu,
-          email       = "\<open>wolff@lri.fr\<close>",
-          affiliation = "\<open>Université Paris-Saclay, LRI, Paris, France\<close>"]\<open>Burkhart Wolff\<close>
 author*[  nico,
           email       = "\<open>nicolas.meric@lri.fr\<close>",
           affiliation = "\<open>Université Paris-Saclay, LRI, Paris, France\<close>"]\<open>Nicolas Méric\<close>
+author*[  bu,
+          email       = "\<open>wolff@lri.fr\<close>",
+          affiliation = "\<open>Université Paris-Saclay, LRI, Paris, France\<close>"]\<open>Burkhart Wolff\<close>
  
 abstract*[abs, keywordlist="[\<open>Ontology\<close>, \<open>Ontological Modeling\<close>, \<open>Document Management\<close>, 
                              \<open>Formal Document Development\<close>,\<open>Isabelle/DOF\<close>]"]