]> matita.cs.unibo.it Git - logicplayer.git/shortlog
logicplayer.git
2014-12-02 www-dataJOURNAL updated to new repository layout and new version
2014-12-02 www-dataUpdated to new version.
2014-12-02 www-datacleanup
2014-12-02 www-dataDevelopment files dropped.
2014-12-02 www-datashuffling + libs imported
2014-12-02 www-dataShuffling.
2014-12-02 www-datanew initial commit