1 Forks
18 Stars
18 Watchers

theolog-ss2017

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

How to download and setup theolog-ss2017

Open terminal and run command
git clone https://github.com/bitkeks/theolog-ss2017.git
git clone is used to create a copy or clone of theolog-ss2017 repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with theolog-ss2017 https://github.com/bitkeks/theolog-ss2017/archive/master.zip

Or simply clone theolog-ss2017 with SSH
[email protected]:bitkeks/theolog-ss2017.git

If you have some problems with theolog-ss2017

You may open issue on theolog-ss2017 support forum (system) here: https://github.com/bitkeks/theolog-ss2017/issues