Fedor Isakov 756450ceae Removed instances of an obsolete concept to be removed		2015-02-26 15:53:48 +01:00
.idea	Removed .idea/workspace.xml	2015-02-17 17:34:22 +01:00
.mps	Testing the unification logic solver. Some minor generator updates.	2015-02-09 16:09:00 +01:00
languages	Removed instances of an obsolete concept to be removed	2015-02-26 15:53:48 +01:00
solutions	Removed instances of an obsolete concept to be removed	2015-02-26 15:53:48 +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
.gitmodules	Renamed the solution	2014-07-28 11:58:53 +02:00