Commits · 217b0f1a9ea586a212b4114c0fd7cde6024cde71 · FrameIT / FrameWorld

Jul 29, 2023
- Changed the bouncing scroll to deal with the floor bouncing · 217b0f1a
  Lucas-He authored 1 year ago
  
  217b0f1a
Jul 28, 2023
- Added IfThenElse and changed StepUntil to include typechecking · d8003e91
  Lucas-He authored 1 year ago
  
  d8003e91
Jul 27, 2023
- StepUntil + IfThenElse · 544f0b9c
  ComFreek authored 1 year ago
  
  544f0b9c
- fix stepUntil · 7f2fb20a
  ComFreek authored 1 year ago
  
  7f2fb20a
Jul 26, 2023
- refactor StepUntil into dynamics.mmt · 96e0c291
  ComFreek authored 1 year ago
  
  96e0c291
Jul 25, 2023
- clean up scrolls mmt code · 365d5258
  ComFreek authored 1 year ago
  
  365d5258
- Merge branch 'devel' of https://gl.mathhub.info/FrameIT/frameworld into devel · 4db27773
  Lucas-He authored 1 year ago
  
  4db27773
- Added StepUntil.scala and changed BouncingScroll · 19f9d797
  Lucas-He authored 1 year ago
  
  19f9d797
- remove and ignore built files · 772baca7
  ComFreek authored 1 year ago
  
  772baca7
- add build.msl · a8fd701a
  ComFreek authored 1 year ago
  
  a8fd701a
Jul 13, 2023
- Added BouncingScroll and changed DefaultSituationSpace · c4ea3dc9
  Lucas-He authored 1 year ago
  
  c4ea3dc9
Oct 10, 2022
- Deleted old code · d015e5f7
  ki7077 authored 2 years ago
  
  clean up
  d015e5f7
- Added comments describing the scrolls · 9ffaac60
  ki7077 authored 2 years ago
  
  Added commetns to show which facts are required and which facts are aquired.
  9ffaac60
Oct 01, 2022
- Removed old code · 30e13286
  ki7077 authored 2 years ago
  
  removed old comments and cleaned up code
  30e13286
Sep 29, 2022
- added new Scrolls and MMT-Theories · babaa5af
  Dreier Marcel authored 2 years ago
  
  babaa5af
Jun 16, 2022
- a bunch of new scrolls and facts · b64d2837
  Dreier Marcel authored 2 years ago
  
  b64d2837
Jun 10, 2022
- scrolls and facts for the new level · 0619da5f
  Dreier Marcel authored 2 years ago
  
  0619da5f
Jul 14, 2021
- Update TriangleScrolls.mmt · fb1565ff
  Navid Roux authored 3 years ago
  
  fb1565ff
May 07, 2021
- typos · 7c414563
  Navid Roux authored 3 years ago
  
  7c414563
Apr 28, 2021
- Added SupplementaryAngles-Scroll to DefaultSituationSpace · 7c958af7
  SchihadaJ authored 3 years ago
  
  7c958af7
Apr 25, 2021
- docs · 2c6a11ce
  ComFreek authored 3 years ago
  
  2c6a11ce
- docs · 6190d847
  ComFreek authored 3 years ago
  
  6190d847
- document situation spaces · 891df920
  ComFreek authored 3 years ago
  
  891df920
Jan 18, 2021
- update domain · 2c32b722
  ComFreek authored 4 years ago
  
  View commits for tag 3.0.0 3.0.0
  
  2c32b722
Jan 15, 2021
- Update README.md · 0b348495
  Navid Roux authored 4 years ago
  
  0b348495
Jan 03, 2021
- rebuild using MMT 21.0.0 and Scala 2.13.4 · c5f9f83b
  ComFreek authored 4 years ago
  
  c5f9f83b
Dec 04, 2020
- rebuild and ocomment out non-working gearbox theories · 67ee16e1
  ComFreek authored 4 years ago
  
  67ee16e1
Dec 02, 2020
- rebuild · b2cf9347
  ComFreek authored 4 years ago
  
  b2cf9347
Dec 01, 2020
- shorten label · 4c576f92
  ComFreek authored 4 years ago
  
  4c576f92
Nov 28, 2020
- rebuild all · cbacbc0b
  ComFreek authored 4 years ago
  
  cbacbc0b
- new scroll labels/descriptions + more modular triangle scrolls · 3d961b83
  ComFreek authored 4 years ago
  
  3d961b83
Nov 13, 2020
- work · cb7bbfd6
  ComFreek authored 4 years ago
  
  cb7bbfd6
- some uncommitted files · 29d17bfb
  ComFreek authored 4 years ago
  
  29d17bfb
Oct 30, 2020
- System.Object[] · 040e9a33
  ComFreek authored 4 years ago
  
  040e9a33
Oct 29, 2020
- Merge branch 'devel' of https://gl.mathhub.info/FrameIT/frameworld into devel · 8b4d1167
  ComFreek authored 4 years ago
  
  8b4d1167
- work · b9aadd59
  ComFreek authored 4 years ago
  
  b9aadd59
Oct 27, 2020
- Update MetaTheories.mmt · 87b4e346
  Navid Roux authored 4 years ago
  
  87b4e346
- cache test · 8ed4e3ff
  Navid Roux authored 4 years ago
  
  8ed4e3ff
- correct midpoint example · 9fb4c54f
  Navid Roux authored 4 years ago
  
  9fb4c54f
- adding a comment on scroll meta-annotations · 0e3e0793
  Michael Kohlhase authored 4 years ago
  
  0e3e0793