]> matita.cs.unibo.it Git - logicplayer.git/shortlog
logicplayer.git
2014-12-11 www-dataNew exercises.
2014-12-11 www-datagitignore
2014-12-11 www-dataIt now logs again (using tee).
2014-12-11 www-dataNow uses localhost to send e-mail.
2014-12-11 www-dataNew version.
2014-12-11 www-data...
2014-12-11 www-dataNew exercises.
2014-12-11 www-data...
2014-12-11 www-data...
2014-12-11 Claudio Sacerdoti... Dirty hack to improve size computation for hypotheses.
2014-12-09 Claudio Sacerdoti... New version (to be tested).
2014-12-09 Claudio Sacerdoti... New version
2014-12-09 Claudio Sacerdoti... The applet.
2014-12-02 www-dataNew version of webapp.
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