]> matita.cs.unibo.it Git - logicplayer.git/history - mainActivity/bin/classes.dex
JOURNAL updated
[logicplayer.git] / mainActivity / bin / classes.dex
2014-12-11 Claudio Sacerdoti... Dirty hack to improve size computation for hypotheses.
2014-12-09 Claudio Sacerdoti... The applet.