From dec40fef3279e99d7337bf071b5010f587ee87dc Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 23 May 2020 11:20:04 +0100 Subject: [PATCH] Fixed build instructions. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 14215a9..707192e 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ submitted (as an update of the Core_DOM entry) at a later stage. ## How to build ``` -isabelle build -d Core_DOM Core_DOM +isabelle build -D Core_DOM ``` ## Authors