From 804a3566cc430635f2ef7bb0513c27eb314437c4 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Jul 2019 00:11:03 +0100 Subject: [PATCH] Updated command line parameters of DOF_mkroot. --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 381a05a..fa6e8d4 100644 --- a/README.md +++ b/README.md @@ -102,7 +102,6 @@ Usage: isabelle DOF_mkroot [OPTIONS] [DIR] Options are: -h print this help text and exit - -d enable document preparation -n NAME alternative session name (default: DIR base name) -o ONTOLOGY (default: core) Available ontologies: