Improved markdown.
afp-mirror/Featherweight_OCL/pipeline/head There was a failure building this commit
Szczegóły
afp-mirror/Featherweight_OCL/pipeline/head There was a failure building this commit
Szczegóły
This commit is contained in:
rodzic
58e8dd6e70
commit
fd305c8136
|
@ -11,8 +11,8 @@ submitted (as an update of the UPF entry) at a later stage.
|
|||
|
||||
## How to build
|
||||
|
||||
```
|
||||
isabelle build -D Featherweight_OCL
|
||||
```console
|
||||
achim@logicalhacking:~$ isabelle build -D Featherweight_OCL
|
||||
```
|
||||
|
||||
## Authors
|
||||
|
|
Ładowanie…
Reference in New Issue