restructuring/behavior/service.v · 8f172d18e8d89389b537e771c1b815255f32f45b · 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
8f172d18
Improve documentation in restructuring/behavior · 8f172d18
Björn Brandenburg authored 5 years ago
```
Use coqdoc's header feature to make it easier to find key concepts and
improve/tweak a few comments.
```
8f172d18

History
Improve documentation in restructuring/behavior
Björn Brandenburg authored 5 years ago
```
Use coqdoc's header feature to make it easier to find key concepts and
improve/tweak a few comments.
```