Fedor Isakov 33bc06e9cc Rename solutions "typesystem2.sample.*" to "typechecking.sample.*".		2017-06-12 19:10:29 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Rename solutions "typesystem2.sample.*" to "typechecking.sample.*".	2017-06-12 19:10:29 +02:00
logic	Extract conreactor version+tag into properties file.	2017-06-09 17:10:40 +02:00
plugin/solutions/jetbrains.mps.typechecking.build	Rename solutions "typesystem2.sample.*" to "typechecking.sample.*".	2017-06-12 19:10:29 +02:00
typechecking	Rename solutions "typesystem2.sample.*" to "typechecking.sample.*".	2017-06-12 19:10:29 +02:00
typesystem2	Rename solution "typesystem2.test" to "typechecking.test".	2017-06-12 19:01:49 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Download and unpack MPS release as a dependency before the build. The root folder "MPS_HOME" to always point to the MPS installation or contain the MPS itself.	2017-06-09 15:14:28 +02:00
build.gradle	Download and unpack MPS release as a dependency before the build. The root folder "MPS_HOME" to always point to the MPS installation or contain the MPS itself.	2017-06-09 15:14:28 +02:00
build.xml	Rename solutions "typesystem2.sample.*" to "typechecking.sample.*".	2017-06-12 19:10:29 +02:00
gradle.properties	Download and unpack MPS release as a dependency before the build. The root folder "MPS_HOME" to always point to the MPS installation or contain the MPS itself.	2017-06-09 15:14:28 +02:00
settings.gradle	Gradle scripts to download dependencies.	2017-06-07 15:47:52 +02:00