Fedor Isakov b117d79b75 Minor fixes		2014-09-14 22:46:59 +02:00
..
jetbrains.mps.jchr	Minor fixes	2014-09-14 22:46:59 +02:00
jetbrains.mps.logic	Refactoring: get rid of TreeLogical's registration by name, use proxy variable instead	2014-08-30 16:27:17 +02:00