From 189baf9f27b8fad91a9d0155d1a966782e436441 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 20 Jul 2019 00:23:01 +0100 Subject: [PATCH] Updated command line parameters of DOF_mkroot. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index fa6e8d4..52f4ee8 100644 --- a/README.md +++ b/README.md @@ -86,7 +86,7 @@ editor. The DOF-plugin provides an alternative to Isabelle's ``mkroot`` command. Isabelle projects that use DOF need to be created using ```console -foo@bar:~$ isabelle DOF_mkroot -d +foo@bar:~$ isabelle DOF_mkroot ``` The ``DOF_mkroot`` command takes the same parameter as the standard ``mkroot`` command of Isabelle. Thereafter, the normal Isabelle @@ -118,7 +118,7 @@ Usage: isabelle DOF_mkroot [OPTIONS] [DIR] ``` For example, ```console -foo@bar:~$ isabelle DOF_mkroot -d -o scholarly_paper -t lncs +foo@bar:~$ isabelle DOF_mkroot -o scholarly_paper -t lncs ``` creates a setup using the scholarly_paper ontology and Springer's LNCS LaTeX class as document class. Note that the generated setup