Merge requests · sarah.grebing / ProofScriptParser

Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar. Projekte sollen von den Nutzenden selbstständig migriert werden - siehe Docs - Migration.

The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.

Minus in Identifier

!14 · created Feb 16, 2018 by alexander.weigl
updated Jul 09, 2018
Resolve "Compact script after exiting interactive mode"

!24 · created Oct 30, 2018 by uudmk
Feature
updated Jan 31, 2019
Grebing luong workbranch

!28 · created Jan 24, 2019 by sarah.grebing
- 1
updated Mar 11, 2019
Luong compact interactive

!29 · created Jan 28, 2019 by uudmk
updated Jan 29, 2019

Imprint

Admin message