Fedor Isakov 0c1e6adbe7 Switched to the latest RC build, applied the migrations.		2017-03-21 12:40:07 +01:00
..
scopes	Initial import	2014-07-03 15:02:07 +02:00
.name	Rename the project to 'clp-typechecking'	2017-01-03 11:40:06 +01:00
codeStyleSettings.xml	SModel isomorphic structure on top of unification tree	2014-07-13 15:00:04 +02:00
encodings.xml	Auto-magical update after moving to the latest build	2015-11-12 15:14:34 +01:00
migration.xml	Switched to the latest RC build, applied the migrations.	2017-03-21 12:40:07 +01:00
misc.xml	Upgraded to the latest MPS build (to be announced as EAP4)	2015-10-28 11:57:07 +01:00
modules.xml	Repackage utility classes inside the types aspect model. Delete obsolete module.	2017-02-09 14:24:00 +01:00
vcs.xml	Upgraded to the latest MPS build (to be announced as EAP4)	2015-10-28 11:57:07 +01:00
version.xml	Initial import	2014-07-03 15:02:07 +02:00