nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed markdown.

This commit is contained in:
Achim D. Brucker 2022-03-27 14:07:51 +01:00
parent 9522597733
commit 8a2828f3bf
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

@ -31,7 +31,7 @@ Isabelle/DOF has three major pre-requisites:
Isabelle/DOF is provided as a Isabelle component. After installing the
pre-requisites 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
should be the directory containing this `README.md` file) and execute
```console
foo@bar:~$ isabelle components -u `pwd`