1. 02 Apr, 2020 3 commits
  2. 09 Jan, 2020 1 commit
  3. 07 Jan, 2020 3 commits
  4. 16 Dec, 2019 1 commit
  5. 11 Dec, 2019 5 commits
  6. 10 Dec, 2019 1 commit
  7. 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
  8. 06 Dec, 2019 4 commits
  9. 04 Dec, 2019 1 commit
  10. 27 Nov, 2019 1 commit
  11. 24 Oct, 2019 3 commits
  12. 23 Sep, 2019 2 commits
  13. 29 Aug, 2019 2 commits
  14. 27 Aug, 2019 3 commits
  15. 26 Aug, 2019 4 commits
  16. 23 Aug, 2019 1 commit
  17. 15 Aug, 2019 2 commits
  18. 09 Aug, 2019 2 commits