Fedor Isakov 4e4e1f68ef Fix buildscript dependencies.		2019-07-26 17:14:48 +02:00
..
fitch	Fix buildscript dependencies.	2019-07-26 17:14:48 +02:00
lambdacalc	Fix buildscript dependencies.	2019-07-26 17:14:48 +02:00
mpscore	Restrict the notion of principal rule (as effect, match journal is shorter now). It also positively affected reporting, so switch reporting to the new way.	2019-07-26 17:00:31 +02:00