Fedor Isakov 3d7e9c8134 Cons-list-like editor for the term list.		2017-05-09 15:40:55 +02:00
.idea	Updated the git configuration	2015-12-28 10:36:45 +01:00
.mps	Switched to the latest RC build, applied the migrations.	2017-03-21 12:40:07 +01:00
logic	Editor beautification: lighter colors, less highlighting, better layout, curly braces for term features	2017-05-09 14:36:40 +02:00
typechecking	Re-saved all models.	2017-05-04 13:10:14 +02:00
typesystem2	Cons-list-like editor for the term list.	2017-05-09 15:40:55 +02:00
.gitattributes	Initial import	2014-07-03 15:02:07 +02:00
.gitignore	Update the .gitignore file.	2017-02-03 11:15:00 +01:00
build.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00
test.xml	Rebuilt the project, buildfiles updated.	2017-04-26 14:23:51 +02:00