Go to file
Fedor Isakov 4b6ac48a41 Merging TreeForm model into the reactor solution.
Move unification lib tnd treeform api model to reactor solution.
Remove obsolete solution.
2016-09-01 11:03:35 +02:00
.idea Updated the git configuration 2015-12-28 10:36:45 +01:00
.mps Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
jchr Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
logic Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
typechecking Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
typesystem2 Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02: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 Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00
test.xml Merging TreeForm model into the reactor solution. 2016-09-01 11:03:35 +02:00