House-Keeping
An issue to reduce the technical dept.
-
put the system under a common name, suggest: edu.kit.iti.formal.proofscripts
-
align the resources (fxml/css) with their Java file.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
An issue to reduce the technical dept.
edu.kit.iti.formal.proofscripts