Update.

2023-02-21 08:18:05 +00:00 · 2023-02-21 08:18:05 +00:00 · 1e0eeea6f9
parent 080d867587
commit 1e0eeea6f9
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -35,7 +35,7 @@ foo@bar:~$ isabelle components -u .
 The final step for the installation is:

 ```console
-foo@bar:~$ isabelle build -D . -X proofs
+foo@bar:~$ isabelle build -D . -x Isabelle_DOF-proofs
 ```

 This will compile Isabelle/DOF and run the example suite.