mps-coderules/logic/solutions
Fedor Isakov fe5d24ea35 Update all external jars. 2016-12-14 17:08:31 +01:00
..
jetbrains.mps.logic.atom Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
jetbrains.mps.logic.reactor Update all external jars. 2016-12-14 17:08:31 +01:00
jetbrains.mps.logic.test Refactor NodePrinter to not be dependent on the BL types. Better representation of logicals and values in the activation trace. Use the logical snapshot's value. Get rid of type formatter. 2016-11-26 13:10:18 +01:00