1. 09 Jan, 2020 1 commit
  2. 07 Jan, 2020 3 commits
  3. 16 Dec, 2019 1 commit
  4. 11 Dec, 2019 5 commits
  5. 10 Dec, 2019 1 commit
  6. 09 Dec, 2019 1 commit
    • Navid Roux's avatar
      feat: add typeindexifier diagram operators · e4d83080
      Navid Roux authored
      Previously they lived in UniFormal/MMT itself.
      Note that I renamed some Scala files here to .scala.dont-compile as the lf-scala
      target for building is broken and produces invalid Scala files which were imported
      by those files I renamed.
      e4d83080
  7. 06 Dec, 2019 4 commits
  8. 04 Dec, 2019 1 commit
  9. 27 Nov, 2019 1 commit
  10. 24 Oct, 2019 3 commits
  11. 23 Sep, 2019 2 commits
  12. 29 Aug, 2019 2 commits
  13. 27 Aug, 2019 3 commits
  14. 26 Aug, 2019 4 commits
  15. 23 Aug, 2019 1 commit
  16. 15 Aug, 2019 2 commits
  17. 09 Aug, 2019 5 commits