Fedor Isakov 012dc6b305 Optimizing imports.		2016-12-23 17:40:05 +01:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	SModel lang extension for typesystem2. Tests.	2016-11-11 14:22:15 +01:00
jchr	Refactoring out the typechecking code from the sample plugin.	2016-11-07 15:07:16 +01:00
logic	Minor. Cleaning up the code.	2016-12-15 12:56:03 +01:00
typechecking	Drop the deprecated postProcess and other obsolete features.	2016-12-23 17:40:04 +01:00
typesystem2	Optimizing imports.	2016-12-23 17:40:05 +01:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Build file for making the samplechecker plugin.	2016-08-25 13:55:53 +02:00
build.xml	Optimizing imports.	2016-12-23 17:40:05 +01:00
test.xml	Optimizing imports.	2016-12-23 17:40:05 +01:00