log +mpm/verify.m @ 41:17ac3ce49b55 default tip

age author description
Fri, 02 Nov 2018 13:21:20 +0100 Jonatan Werpers Change variable naming in mpm.verify to make it more concisten with the other scripts
Mon, 17 Sep 2018 15:49:39 +0200 Jonatan Werpers Refactor ui functions to use the MPM class. Not tested
Mon, 10 Sep 2018 17:05:03 +0200 Jonatan Werpers Change names in ui base +mpm/check.m@c6034dbb081e