Closed
Milestone
started on Jun 29, 2023
Update Documentations for coqdoc
Mit der neuen Struktur lassen sich leicht HTML-Files generieren, um eine "schöne" Version von den Files anzuzeigen. Ziel ist es nun, die bisher bestehende Dokumentation in den einzelnen Files entsprechend anzupassen.
Loading
Loading
Loading
Loading