4 Commits

Author	SHA1	Message	Date
Fedor Isakov	c5b7db1499	Enable git integration in IDE	2023-02-22 13:40:34 +01:00
Fedor Isakov	86fa1cb65a	Upgraded to the latest MPS build (to be announced as EAP4)	2015-10-28 11:57:07 +01:00
Fedor Isakov	1e77201566	SModel isomorphic structure on top of unification tree	2014-07-13 15:00:04 +02:00
Fedor Isakov	5a7fb3a15e	Initial import	2014-07-03 15:02:07 +02:00