Fedor Isakov 25bddf060b Toolbar buttons expandAll/collapseAll		2016-09-30 18:10:18 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Moving tests specific to sampleLang/types to separate test solution.	2016-09-17 14:57:56 +02:00
jchr	Fix build problems, model imports, minor problems.	2016-09-30 18:07:50 +02:00
logic	Resave all models containing obsolete resolve info. Fix all mentions of the old api class.	2016-09-17 14:57:55 +02:00
typechecking	Toolbar buttons expandAll/collapseAll	2016-09-30 18:10:18 +02:00
typesystem2	Refactoring and cleaning up type/rule template API, introduce RecoverySession. Type table has recovery feature. Return type terms from the sample typechecking. Simple test.	2016-09-19 12:17:40 +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	Refactoring and cleaning up type/rule template API, introduce RecoverySession. Type table has recovery feature. Return type terms from the sample typechecking. Simple test.	2016-09-19 12:17:40 +02:00
test.xml	Refactoring and cleaning up type/rule template API, introduce RecoverySession. Type table has recovery feature. Return type terms from the sample typechecking. Simple test.	2016-09-19 12:17:40 +02:00