From 7e4936b9a0660e9500f3ce7e448a34c95bd06950 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 12 Aug 2019 21:02:35 +0100
Subject: [PATCH] Removed core ontology from list of ontologies (mkroot_DOF -h
 output).

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index bca091e..9621aae 100644
--- a/README.md
+++ b/README.md
@@ -101,7 +101,6 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR]
     -o ONTOLOGY  (default: scholarly_paper)
        Available ontologies:
        * cenelec_50128
-       * core
        * mathex
        * scholarly_paper
     -t TEMPLATE   (default: scrartcl)