Fixed build instructions.
This commit is contained in:
parent
78fe95f95f
commit
ce87e17102
|
@ -12,7 +12,7 @@ submitted (as an update of the Stateful Protocol Composition and Typing entry) a
|
||||||
## Installation
|
## Installation
|
||||||
|
|
||||||
```console
|
```console
|
||||||
achim@logicalhacking:~$ isabelle build -D Stateful_Protocol_Composition_and_Typing.html
|
achim@logicalhacking:~$ isabelle build -D Stateful_Protocol_Composition_and_Typing
|
||||||
```
|
```
|
||||||
|
|
||||||
## Authors
|
## Authors
|
||||||
|
|
Loading…
Reference in New Issue