Go to file
Fedor Isakov 464fdb3ec8 Filter discarded occurrences. 2016-03-30 16:41:20 +02:00
.idea Updated the git configuration 2015-12-28 10:36:45 +01:00
.mps Removed obsolete modules 2016-03-14 15:37:29 +01:00
jchr/languages/jetbrains.mps.jchr Automatically updated file after having opened the project with the latest build. 2016-03-18 19:22:26 +01:00
logic Automatically updated file after having opened the project with the latest build. 2016-03-18 19:22:26 +01:00
typechecking Filter discarded occurrences. 2016-03-30 16:41:20 +02:00
typesystem2 Automatically updated file after having opened the project with the latest build. 2016-03-18 19:22:26 +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