Typicalc/src/main/java/edu/kit/typicalc
2021-02-02 20:42:35 +01:00
..
model Code style fixes 2021-02-02 10:55:46 +01:00
presenter ModelImpl: typeAssumptions parsen lassen 2021-02-01 01:24:51 +01:00
util Unification implementation 2021-02-02 10:29:45 +01:00
view Simple integration tests and structure for screenshot test 2021-02-02 20:42:35 +01:00
Application.java add demo string for drawer content 2021-01-28 00:06:36 +01:00