Commits · master · meta / inf

Jun 01, 2023
- cleanup · 33398ac1
  Michael Kohlhase authored 1 year ago
  
  33398ac1
- cleanup · 7179432b
  Michael Kohlhase authored 1 year ago
  
  7179432b
Jun 02, 2022
- draining · 8ff9dddb
  Michael Kohlhase authored 2 years ago
  
  8ff9dddb
Apr 12, 2021
- Add STeX extension · 81898d04
  Tom Wiesing authored 3 years ago
  
  81898d04
Mar 13, 2021
- draining · 2a5bfac3
  Michael Kohlhase authored 4 years ago
  
  2a5bfac3
Oct 26, 2018
- Update mathhub.msl · 52c4abc0
  Tom Wiesing authored 6 years ago
  
  52c4abc0
Jun 01, 2018
- moved to https://github.com/MathHubInfo/Documentation/wiki · a848a602
  Michael Kohlhase authored 6 years ago
  
  a848a602
May 16, 2018
- Add new MathHub config file · 4457abea
  Tom Wiesing authored 6 years ago
  
  4457abea
- Add legacy readme · bf7e4850
  Tom Wiesing authored 6 years ago
  
  bf7e4850
- Move configuration files into legacy · 3f4a174f
  Tom Wiesing authored 6 years ago
  
  3f4a174f
May 15, 2018
- Load MathHub Extension · 24affcca
  Tom Wiesing authored 6 years ago
  
  24affcca
May 14, 2018
- Update def-build.mbt · ca87208c
  Tom Wiesing authored 6 years ago
  
  ca87208c
May 11, 2018
- Update catalog.mcf · 8db0bf39
  Tom Wiesing authored 6 years ago
  
  8db0bf39
- Update catalog.mcf · 7dbf907c
  Tom Wiesing authored 6 years ago
  
  7dbf907c
May 10, 2018
- Update catalog.mcf · 479f8557
  Tom Wiesing authored 6 years ago
  
  479f8557
- Update def-build.mbt · 749725a1
  Tom Wiesing authored 6 years ago
  
  749725a1
- Update def-build.mbt · cea1722f
  Tom Wiesing authored 6 years ago
  
  cea1722f
- Update def-build.mbt · a4668ee0
  Tom Wiesing authored 6 years ago
  
  a4668ee0
May 09, 2018
- Turn off PVS/NASA temporarily · 19d3168a
  Tom Wiesing authored 6 years ago
  
  19d3168a
- Too much debug · 2285f680
  Tom Wiesing authored 6 years ago
  
  2285f680
- Merge remote-tracking branch 'origin/master' · 3e708081
  Tom Wiesing authored 6 years ago
  
  3e708081
- Simpler config · 68bcf45f
  Tom Wiesing authored 6 years ago
  
  68bcf45f
- Simpler config · 997c9d85
  Tom Wiesing authored 6 years ago
  
  997c9d85
- Update def-build.mbt · 4c9131fc
  Tom Wiesing authored 6 years ago
  
  4c9131fc
- Update config.mcf · c87befdc
  Tom Wiesing authored 6 years ago
  
  c87befdc
May 08, 2018
- Update def-build.mbt · 64efc65f
  Tom Wiesing authored 6 years ago
  
  64efc65f
- Update MathHub path · e64891cd
  Tom Wiesing authored 6 years ago
  
  e64891cd
- Remove logging from def-build.mbt · 6acf6047
  Tom Wiesing authored 6 years ago
  
  6acf6047
Apr 18, 2018
- Remove debug logging file · 7d1c5c01
  Tom Wiesing authored 6 years ago
  
  7d1c5c01
- Migrate frontend.handle() to frontend.handleLine() · 8368fd17
  Tom Wiesing authored 6 years ago
  
  8368fd17
Oct 25, 2017
- Added ODK/Singular · 350d86d0
  Dennis Müller authored 7 years ago
  
  350d86d0
Oct 23, 2017
- updating mailing list · df1939a3
  Michael Kohlhase authored 7 years ago
  
  df1939a3
Jul 20, 2017
- added MitM/interfaces · 3a9ab490
  Dennis Müller authored 7 years ago
  
  3a9ab490
Jul 17, 2017
- update · 9ef35d09
  Dennis Müller authored 7 years ago
  
  9ef35d09
Jun 10, 2017
- adapted to graph stuff · 533c806f
  Dennis Müller authored 7 years ago
  
  533c806f
May 29, 2017
- more informal · 7521e6cc
  Michael Kohlhase authored 7 years ago
  
  7521e6cc
- more informal stuff · f241d9f0
  Michael Kohlhase authored 7 years ago
  
  f241d9f0
May 13, 2017
- deprecated · 6f475729
  Michael Kohlhase authored 7 years ago
  
  6f475729
- case conflict · 5584cb73
  Michael Kohlhase authored 7 years ago
  
  5584cb73
- teaching group · 65d73872
  Michael Kohlhase authored 7 years ago
  
  65d73872