Fedor Isakov 02ecdb7de4 Switch to SNodePointer for rule's origin		2016-02-11 16:23:02 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Migrate to MPS 3.3.1. Fix missing import.	2016-01-26 12:48:11 +01:00
jchr/languages/jetbrains.mps.jchr	Migrate to MPS 3.3.1. Fix missing import.	2016-01-26 12:48:11 +01:00
logic	Make Meta*Logical a class. Get rid of ProgramBuilder, also in the typechecking templates API.	2016-01-29 16:32:32 +01:00
solutions/jetbrains.mps.typechecking.solving	Removed obsolete unused dir.	2016-01-26 09:03:58 +01:00
typechecking	Activation Trace view	2016-01-31 18:40:22 +01:00
typesystem2	Switch to SNodePointer for rule's origin	2016-02-11 16:23:02 +01:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Ignore IDEA's workspace file	2015-02-09 16:21:36 +01:00