| ... | ... | @@ -2,7 +2,7 @@ |
|
|
|
|
|
|
|
## Building the tool
|
|
|
|
|
|
|
|
Please consult [the documentation](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/jobs/artifacts/edge/download?job=docs), section 3.2, for information on building the project.
|
|
|
|
Please consult [the documentation](https://dgit.cs.uni-saarland.de/pseuco/concurrent-programming-web/-/jobs/artifacts/edge/file/docs/doc.pdf?job=docs), section 3.2, for information on building the project.
|
|
|
|
|
|
|
|
|
|
|
|
## Specifications
|
| ... | ... | |
