Fedor Isakov fd3d74a375 Deprecate and remove all usages of TypeTerm from the TypeDeclaration.		2017-05-03 16:14:44 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Switched to the latest RC build, applied the migrations.	2017-03-21 12:40:07 +01:00
logic	Less contrast color scheme for rules.	2017-04-28 14:37:38 +02:00
typechecking	Drop obsolete code from the runtime	2017-05-03 16:14:44 +02:00
typesystem2	Deprecate and remove all usages of TypeTerm from the TypeDeclaration.	2017-05-03 16:14:44 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Update the .gitignore file.	2017-02-03 11:15:00 +01:00
build.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00
test.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00