Commit history

1. Commits on May 8, 2017

   • Tarski's axioms with continuity not yet working

     

     Daniel Schraudner

     committed
     670d258View commit details

     Copy full SHA for 670d258

     Browse repository at this point

   • Another problem/solution pair with similar triangles

     

     Daniel Schraudner

     committed
     c6406acView commit details

     Copy full SHA for c6406ac

     Browse repository at this point

   • Splitted planar_geometry in more theories

     

     Daniel Schraudner

     committed
     fa758abView commit details

     Copy full SHA for fa758ab

     Browse repository at this point
2. Commits on Mar 25, 2017

   • draining

     kohlhase

     committed
     7849a8bView commit details

     Copy full SHA for 7849a8b

     Browse repository at this point
3. Commits on Oct 25, 2016

   • Added literature etc

     Jazzpirate

     committed
     216ba20View commit details

     Copy full SHA for 216ba20

     Browse repository at this point
4. Commits on Oct 24, 2016

   • blaMerge branch 'master' of https://github.com/KWARC/FrameIT

     Jazzpirate

     committed
     4aada91View commit details

     Copy full SHA for 4aada91

     Browse repository at this point

   • added video

     Jazzpirate

     committed
     d75f9e7View commit details

     Copy full SHA for d75f9e7

     Browse repository at this point
5. Commits on Jul 26, 2016

   • Update ReadMe.md

     RochauD

     authored
     bc0bd46View commit details

     Copy full SHA for bc0bd46

     Browse repository at this point

   • Update ReadMe.md

     RochauD

     authored
     0b61811View commit details

     Copy full SHA for 0b61811

     Browse repository at this point

   • Fixed http request error handling.

     

     Denis Rochau

     authored and

     Denis Rochau

     committed
     f7db0a0View commit details

     Copy full SHA for f7db0a0

     Browse repository at this point
6. Commits on Jul 12, 2016

   • merge Merge branch 'master' of https://github.com/KWARC/FrameIT

     Jazzpirate

     committed
     fbf70b0View commit details

     Copy full SHA for fbf70b0

     Browse repository at this point

   • Updated jars

     Jazzpirate

     committed
     4e0b88fView commit details

     Copy full SHA for 4e0b88f

     Browse repository at this point
7. Commits on Jul 11, 2016

   • Update ReadMe.md

     Jazzpirate

     authored
     3e05c7eView commit details

     Copy full SHA for 3e05c7e

     Browse repository at this point

   • Add amazing vegetation pack to repo for the moment. Remove later and add download script.

     RochauD

     committed
     08203b9View commit details

     Copy full SHA for 08203b9

     Browse repository at this point
8. Commits on Jul 7, 2016

   • mac changes

     

     FrameIT

     authored and

     FrameIT

     committed
     9a6134dView commit details

     Copy full SHA for 9a6134d

     Browse repository at this point

   • Merge branch 'master' of github.com:KWARC/FrameIT

     RochauD

     committed
     96bd356View commit details

     Copy full SHA for 96bd356

     Browse repository at this point

   • Fix degree/radian problem

     RochauD

     committed
     2721317View commit details

     Copy full SHA for 2721317

     Browse repository at this point
9. Commits on Jun 12, 2016

   • Merge branch 'master' of github.com:KWARC/FrameIT

     kohlhase

     committed
     de81504View commit details

     Copy full SHA for de81504

     Browse repository at this point
10. Commits on Jun 9, 2016

    • V x.y

      Jazzpirate

      committed
      b85dc80View commit details

      Copy full SHA for b85dc80

      Browse repository at this point
11. Commits on Jun 8, 2016

    • Update to HTTP based communication

      RochauD

      committed
      ed3e569View commit details

      Copy full SHA for ed3e569

      Browse repository at this point

    • Update MMT theories to use degrees as intended

      RochauD

      committed
      8be2bf9View commit details

      Copy full SHA for 8be2bf9

      Browse repository at this point

    • Merge branch 'master' of github.com:KWARC/FrameIT

      kohlhase

      committed
      205a8d6View commit details

      Copy full SHA for 205a8d6

      Browse repository at this point
12. Commits on May 30, 2016

    • Fixed

      

      Dennis M

      authored and

      Dennis M

      committed
      5a1c458View commit details

      Copy full SHA for 5a1c458

      Browse repository at this point

    • Update ReadMe formatting

      RochauD

      committed
      b2bbfa3View commit details

      Copy full SHA for b2bbfa3

      Browse repository at this point

    • Update ReadMe formatting

      RochauD

      committed
      4a3497fView commit details

      Copy full SHA for 4a3497f

      Browse repository at this point

    • Update ReadMe formatting

      RochauD

      committed
      f6164b5View commit details

      Copy full SHA for f6164b5

      Browse repository at this point

    • Adapt things

      RochauD

      committed
      bc824dfView commit details

      Copy full SHA for bc824df

      Browse repository at this point

    • Clean up

      RochauD

      committed
      31c6696View commit details

      Copy full SHA for 31c6696

      Browse repository at this point
13. Commits on May 27, 2016

    • update

      

      Dennis Müller

      committed
      dfe100fView commit details

      Copy full SHA for dfe100f

      Browse repository at this point

    • update

      

      Dennis Müller

      committed
      090a81dView commit details

      Copy full SHA for 090a81d

      Browse repository at this point
14. Commits on May 25, 2016

    • cleanup

      

      Dennis Müller

      committed
      d31d8f7View commit details

      Copy full SHA for d31d8f7

      Browse repository at this point

    • cleanup

      

      Dennis Müller

      committed
      b8d701eView commit details

      Copy full SHA for b8d701e

      Browse repository at this point

    • added MMT stuff

      

      Dennis Müller

      committed
      559cf52View commit details

      Copy full SHA for 559cf52

      Browse repository at this point
15. Commits on May 24, 2016

    • Merge branch 'master' of github.com:KWARC/FrameIT

      kohlhase

      committed
      15f3debView commit details

      Copy full SHA for 15f3deb

      Browse repository at this point
16. Commits on May 23, 2016

    • init

      

      Dennis Müller

      committed
      05c4e65View commit details

      Copy full SHA for 05c4e65

      Browse repository at this point