afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added build instructions.

This commit is contained in:
Achim D. Brucker 2020-05-23 11:21:01 +01:00
parent 603afc9bc7
commit 66be3e6e46
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -9,6 +9,12 @@ The official AFP releases are tagged. Additionally, this repository
may contain extensions (i.e., a development version) that may be
submitted (as an update of the UPF entry) at a later stage.
## How to build
```
isabelle build -D Featherweight_OCL
```
## Authors
* [Achim D. Brucker](http://www.brucker.ch/)