_CoqProject · 1bd6d79ccf8dd323c80861d4fa24ca7324226176 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

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

641 commits behind the upstream repository.

5 years ago
bc20368f
Don't re-generate _CoqProject in create_makefile.sh · bc20368f
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```
bc20368f

History
Don't re-generate _CoqProject in create_makefile.sh
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```

_CoqProject 47 B