diff --git a/README.md b/README.md index 1679aa4..fba7fa0 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,3 @@ -**Under Construction!** - # Logic and Computability - Practical Bonus Assignments 2022 This repository will be used for submissions of *Logic and Computability* practical assignments in the summer semester 2022. @@ -16,7 +14,7 @@ git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream ``` 2. Start with solving the examples! -We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions. +_We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions._