|
.mps
|
Migrated to 139.1564
|
2015-01-27 17:04:17 +01:00 |
|
languages
|
Adjustments in the typechecking rule templates
|
2015-02-01 22:00:17 +01:00 |
|
.gitattributes
|
Initial import
|
2014-07-03 15:02:07 +02:00 |
|
.gitignore
|
Compiling JCHR seemlessly as part of MPS make
|
2014-08-01 16:46:40 +02:00 |
|
.gitmodules
|
Renamed the solution
|
2014-07-28 11:58:53 +02:00 |