Fedor Isakov 9527a097b8 Migrate to the latest MPS release, apply migrations		2021-06-18 18:41:01 +02:00
..
models/jetbrains/mps/logic/test	Adapt all predicates to try-tell protocol	2021-04-08 12:41:17 +02:00
Logic.test.iml	Restructuring the project: consolidate code, moving samples away.	2018-07-14 17:22:07 +02:00
build.gradle	Drop mockito lib, replace with ad-hoc solution, fix the tests.	2020-10-25 00:17:25 +02:00
jetbrains.mps.logic.test.msd	Migrate to the latest MPS release, apply migrations	2021-06-18 18:41:01 +02:00