0
I Use This!
Low Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 21 hours ago.
Jul 20, 2025 — Jul 20, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'master' of https://github.com/mkroetzsch/FormaleSysteme More... over 8 years ago
updated final lecture More... over 8 years ago
Grammatiken "erzeugen", statt "akzeptieren". More... over 8 years ago
Merge pull request #33 from CniKKoR/master More... over 8 years ago
[Fix] Typo in lecture 25 More... over 8 years ago
Fehlerkorrektur More... over 8 years ago
small updates More... over 8 years ago
Merge pull request #32 from bennofs/master More... over 8 years ago
fix: improve build.sh portability More... over 8 years ago
updates for 2018 More... over 8 years ago
fixed year More... over 8 years ago
small updates More... over 8 years ago
updated L21 More... over 8 years ago
fix style More... over 8 years ago
Merge branch 'master' of https://github.com/mkroetzsch/FormaleSysteme More... over 8 years ago
lecture 20 More... over 8 years ago
Merge pull request #28 from tidenhub/patch-10 More... over 8 years ago
Merge pull request #27 from CniKKoR/master More... over 8 years ago
Merge branch 'master' of https://github.com/mkroetzsch/FormaleSysteme More... over 8 years ago
updates More... over 8 years ago
Typo lecture 19 More... over 8 years ago
Fixes typo in lecture 17 More... over 8 years ago
Fix typo More... over 8 years ago
some more content, typo fixes More... over 8 years ago
some clarfications and layout fixes More... over 8 years ago
in Sachsen gibt es keine "Lehrstühle" More... over 8 years ago
Tippfehler More... over 8 years ago
updated dates and header More... over 8 years ago
lecture 16, 2017 More... over 8 years ago
layout More... over 8 years ago