create_makefile.sh · a1cbf4f9614fb2b371f31d6348d9458947678ed1 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

5 years ago
81dcfa38
fix links to Coq standard library in coqdoc output · 81dcfa38
Björn Brandenburg authored 5 years ago
```
Also switch how this is patched into the Makefile while we're at it.
```
81dcfa38

History
fix links to Coq standard library in coqdoc output
Björn Brandenburg authored 5 years ago
```
Also switch how this is patched into the Makefile while we're at it.
```