forked from Isabelle_DOF/Isabelle_DOF
Fixed markdown.
This commit is contained in:
parent
7b8ae0a93d
commit
9f773ca129
|
@ -31,7 +31,7 @@ Isabelle/DOF has three major pre-requisites:
|
||||||
Isabelle/DOF is provided as a Isabelle component. After installing the
|
Isabelle/DOF is provided as a Isabelle component. After installing the
|
||||||
pre-requisites the Isabelle/Archive needs to be unpacked and
|
pre-requisites the Isabelle/Archive needs to be unpacked and
|
||||||
registered. Change into the directory you unpacked Isabelle/DOF (this
|
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
|
```console
|
||||||
foo@bar:~$ isabelle components -u `pwd`
|
foo@bar:~$ isabelle components -u `pwd`
|
||||||
|
|
Reference in New Issue