Move "classic" Prosa to rt.classic namespace and update documentation (!60) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Björn Brandenburg requested to merge move-to-classic into master 5 years ago

Viewing commit 3da386de

Show latest version

3 files

+ 1

− 5

Files

3

3da386de

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

+ 0

− 1

@@ -5,7 +5,6 @@

@@ -5,7 +5,6 @@

/html

/html

*.aux

*.aux

Makefile*

Makefile*

_CoqProject

*.crashcoqide

*.crashcoqide

*.v#

*.v#

*.cache

*.cache