Commits · master · ODK / Demos

May 01, 2019
- changing_\nmhinputref_to_\mhinputredstar · 04f9cd2b
  Michael Kohlhase authored 5 years ago
  
  04f9cd2b
Dec 19, 2018
- no message · 7a7d1c77
  Florian Rabe authored 6 years ago
  
  7a7d1c77
Oct 30, 2018
- Merge branch 'master' of gl.mathhub.info:ODK/Demos · f80b5af5
  Florian Rabe authored 6 years ago
  
  f80b5af5
- no message · 70ddc751
  Florian Rabe authored 6 years ago
  
  70ddc751
Oct 29, 2018
- Substitute P with the polynomial, fix the Groebner basis · 447c1e4e
  Katja Bercic authored 6 years ago
  
  447c1e4e
- Add missing full stops · 615a33e0
  Katja Bercic authored 6 years ago
  
  615a33e0
- Add diagram sequence and slides · f4e8afc1
  Katja Bercic authored 6 years ago
  
  f4e8afc1
- no message · cce513d8
  Florian Rabe authored 6 years ago
  
  cce513d8
- Update test.ipynb · c32d4dcc
  Dennis Müller authored 6 years ago
  
  c32d4dcc
- Update test.ipynb · c4632f03
  Dennis Müller authored 6 years ago
  
  c4632f03
- Update test.ipynb · 261741cd
  Dennis Müller authored 6 years ago
  
  261741cd
- Update test.ipynb · ac7a1796
  Dennis Müller authored 6 years ago
  
  ac7a1796
- Update test.ipynb · 0745795f
  Dennis Müller authored 6 years ago
  
  0745795f
- Update test.ipynb · 1d5c21c1
  Dennis Müller authored 6 years ago
  
  1d5c21c1
Oct 28, 2018
- uno message · 6ae21205
  Florian Rabe authored 6 years ago
  
  6ae21205
Oct 26, 2018
- Update MANIFEST.MF · fe13981e
  Tom Wiesing authored 6 years ago
  
  fe13981e
- Build test notebook · eb3e3018
  Tom Wiesing authored 6 years ago
  
  eb3e3018
- Add narration-base · f168516f
  Tom Wiesing authored 6 years ago
  
  f168516f
Oct 23, 2018
- no message · 49f80d74
  Florian Rabe authored 6 years ago
  
  49f80d74
- first skeleton · 7dd7d6f7
  Michael Kohlhase authored 6 years ago
  
  7dd7d6f7
- new; adapted · 0618bf71
  Michael Kohlhase authored 6 years ago
  
  0618bf71
- Initial commit · 6dbea436
  Michael Kohlhase authored 6 years ago
  
  6dbea436