Added new Scrolls and new Theories (!1) · Merge requests · FrameIT / FrameWorld

Merged Dreier Marcel requested to merge marcel into master 2 years ago

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

Added new Scrolls and new Theories