Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Simplified installation

This commit is contained in:
Makarius Wenzel 2022-12-01 11:45:12 +01:00
parent 06833aa190
commit c29ec9641a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -29,7 +29,7 @@ this command already during the installation of the prerequisites, you can skip
it now):
```console
foo@bar:~$ isabelle components -u `pwd`
foo@bar:~$ isabelle components -u .
```
The final step for the installation is: