Commits · main · Teaching / LBS2021

11 Feb, 2021 4 commits
- fixed Mod / box error, shortened tables · 3e2912ff
  Michael Wagner authored Feb 11, 2021
  
  3e2912ff
- code cleanup · f80233cd
  Michael Wagner authored Feb 11, 2021
  
  f80233cd
- plural after modal seems to work · bc983a84
  Michael Wagner authored Feb 11, 2021
  
  bc983a84
- plural before modal · b432d3a3
  Michael Wagner authored Feb 11, 2021
  
  b432d3a3
10 Feb, 2021 5 commits
- Merge branch 'main' of gl.mathhub.info:Teaching/LBS2021 into main · 4f7b2d18
  Michael Wagner authored Feb 10, 2021
  
  4f7b2d18
- plural seems like a tommorow-me-problem · 8961702d
  Michael Wagner authored Feb 10, 2021
  
  8961702d
- minimal working example for Berta is not allowed to jump · c80dce3d
  Michael Wagner authored Feb 10, 2021
  
  c80dce3d
- blabla blablalbalblablala · fe8f19a7
  Sven Wille authored Feb 10, 2021
  
  fe8f19a7
- added ass.4, plural after modal broken, but it breathes · 6bee8b87
  Michael Wagner authored Feb 10, 2021
  
  6bee8b87
09 Feb, 2021 4 commits
- newest model gen. · f75598e1
  jfschaefer authored Feb 09, 2021
  
  f75598e1
- Submission 4 - Thomas Röthenbacher · 0dfb30cd
  Thomas Röthenbacher authored Feb 09, 2021
  
  0dfb30cd
- Replace Fragment4_nicoWittrock_sa00kani.ipynb · 255909f7
  Nico Wittrock authored Feb 09, 2021
```
eta- conversion doesn't work properly. Maybe other urtheorie?
```
  255909f7
- "Berta sees Mary" doesn't work properly yet · 159816a5
  Nico Wittrock authored Feb 09, 2021
  
  159816a5
08 Feb, 2021 4 commits
- complete · f70a5a8f
  Daniel Seitz authored Feb 08, 2021
  
  f70a5a8f
- Upload New File · 3c537b4a
  Christian Cerny authored Feb 08, 2021
  
  3c537b4a
- added test theory · 73490ef4
  Sven Wille authored Feb 08, 2021
  
  73490ef4
- educated guess , mmt doen't work · a80c1fb8
  Sven Wille authored Feb 08, 2021
  
  a80c1fb8
07 Feb, 2021 1 commit
- init · b22c05c1
  Daniel Seitz authored Feb 07, 2021
  
  b22c05c1
05 Feb, 2021 1 commit
- Johannes Westphal Assignment 4 submission · 9bdc713c
  Johannes Westphal authored Feb 05, 2021
  
  9bdc713c
04 Feb, 2021 4 commits
- Merge branch 'main' of gl.mathhub.info:Teaching/LBS2021 · 962eb772
  fabibfau authored Feb 04, 2021
  
  962eb772
- Fabian Birkmann: Add assignment 4 solution · 29ba6af5
  fabibfau authored Feb 04, 2021
  
  29ba6af5
- Merge branch 'main' of gl.mathhub.info:Teaching/LBS2021 · 011ba235
  jfschaefer authored Feb 04, 2021
  
  011ba235
- more for model generation (but currently broken) · ef039fed
  jfschaefer authored Feb 04, 2021
  
  ef039fed
02 Feb, 2021 3 commits
- Merge branch 'main' of gl.mathhub.info:Teaching/LBS2021 into main · dd0e4788
  Christoph Popp authored Feb 02, 2021
  
  dd0e4788
- [add] added assignement 4 submission mu84faro · 0c52d5ce
  Christoph Popp authored Feb 02, 2021
  
  0c52d5ce
- modgen (broken version from lab) · d43f5dca
  jfschaefer authored Feb 02, 2021
  
  d43f5dca
28 Jan, 2021 1 commit
- elpi · 1ebf5662
  jfschaefer authored Jan 28, 2021
  
  1ebf5662
14 Jan, 2021 1 commit
- started davidson for fragment 4 · 63767a4e
  jfschaefer authored Jan 14, 2021
  
  63767a4e
12 Jan, 2021 1 commit
- newest version of frag 4 · 0b6e8051
  jfschaefer authored Jan 12, 2021
  
  0b6e8051
11 Jan, 2021 2 commits
- cleaned up fragment 4 · 6037589e
  jfschaefer authored Jan 11, 2021
  
  6037589e
- [add] delayed submission caused by internet trouble ... · 11965b6e
  Christoph Popp authored Jan 11, 2021
  
  11965b6e
09 Jan, 2021 1 commit
- verspätete Abgabe, da Donnerstag ein Seminarvortrag Vorrang hatte :/ · ecf7fa87
  Nico Wittrock authored Jan 10, 2021
  
  ecf7fa87
07 Jan, 2021 2 commits
- Fragment 4 · efac5fd9
  jfschaefer authored Jan 07, 2021
  
  efac5fd9
- Submission 2 from Thomas Röthenbacher · 294bf129
  Thomas Röthenbacher authored Jan 07, 2021
  
  294bf129
06 Jan, 2021 6 commits
- Assignment 2 submission · 8519e05e
  Christian Cerny authored Jan 06, 2021
  
  8519e05e
- init · 60607bca
  Daniel Seitz authored Jan 06, 2021
  
  60607bca
- sven w solution added · 62dbf465
  Sven Wille authored Jan 06, 2021
  
  62dbf465
- Merge branch 'main' of gl.mathhub.info:Teaching/LBS2021 into main · f80a1f9e
  Michael Wagner authored Jan 06, 2021
  
  f80a1f9e
- added 'solution' for orE, but I have circular dependencies, so that might be wrong idk · 84f46728
  Michael Wagner authored Jan 06, 2021
  
  84f46728
- Solution to assignment 2 · 63b2f547
  Tobias Leemann authored Jan 06, 2021
  
  63b2f547