From 367d8f28ad8c7abb62145079f24d33048f3d792b Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Jun 2022 16:25:32 +0100 Subject: [PATCH] Improved installation instructions. --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index ca60d2d6..bcee390b 100644 --- a/README.md +++ b/README.md @@ -30,10 +30,9 @@ Isabelle/DOF has three major prerequisites: ## Installation -Isabelle/DOF is provided as a Isabelle component. After installing the -prerequisites the Isabelle/Archive needs to be unpacked and -registered. Change into the directory you unpacked Isabelle/DOF (this -should be the directory containing this `README.md` file) and execute +Isabelle/DOF is provided as an Isabelle component. After installing the +prerequisites, change into the directory containing Isabelle/DOF (this should be +the directory containing this `README.md` file) and execute ```console foo@bar:~$ isabelle components -u `pwd`