Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Add the `htmlpretty` target to the Makefile to generate prettier documentation, based on the CoqdocJS project. https://www.ps.uni-saarland.de/~ttebbi/coqdocjs/ https://github.com/tebbi/coqdocjs Many thanks to Tobias Tebbi for creating CoqdocJS.Add the `htmlpretty` target to the Makefile to generate prettier documentation, based on the CoqdocJS project. https://www.ps.uni-saarland.de/~ttebbi/coqdocjs/ https://github.com/tebbi/coqdocjs Many thanks to Tobias Tebbi for creating CoqdocJS.
