From 9fd9332f74a750bc8ad359fdec83d5a7c5ab6ca5 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 19 Dec 2020 09:33:34 +0000
Subject: [PATCH] Renamed session to avoid name clash with offical AFP entry.

---
 Extended_Finite_State_Machines/ROOT | 2 +-
 README.md                           | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Extended_Finite_State_Machines/ROOT b/Extended_Finite_State_Machines/ROOT
index 79f5709..3cc25e6 100644
--- a/Extended_Finite_State_Machines/ROOT
+++ b/Extended_Finite_State_Machines/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session Extended_Finite_State_Machines (AFP) = "HOL-Library" +
+session "Extended_Finite_State_Machines-devel" (AFP) = "HOL-Library" +
 options [timeout = 600] 
 sessions
   FinFun
diff --git a/README.md b/README.md
index 2623d91..089223a 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ submitted, as an update to the existing entry, at a later point in time.
 ## How to build
 
 ```console
-achim@logicalhacking:~$ isabelle build -D Extended_Finite_State_Machines
+achim@logicalhacking:~$ isabelle build -D Extended_Finite_State_Machines-devel
 ```
 
 ## Authors