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.

  • Work items 7
  • Merge requests 1
  • Participants 1
  • Labels 0
Loading
Loading
Loading
Loading
100% complete
100%
Start date
Jun 29, 2023
From
Jun 29 2023
Due date
No due date (899 days elapsed)
7
Work items 7 New issue
Open: 0 Closed: 7
1
Merge requests 1
Open: 0 Closed: 1 Merged: 0
0
Releases
None
Reference: oc59yqul/coq-exercises%"Update Documentations for coqdoc"