]> matita.cs.unibo.it Git - logicplayer.git/history
logicplayer.git
2015-10-20 servilloserver/log ignored master
2015-10-20 servillo*~ ignored
2015-10-20 servilloNon versioned files removed from git
2015-10-20 servillo.gradle ignored
2015-10-19 Claudio Sacerdoti... Ported to latest version of Android SDK
2015-10-05 rootJOURNAL updated
2014-12-16 Claudio Sacerdoti... ...
2014-12-16 www-data...
2014-12-16 www-dataBug fixed: made robust against lost of connection with db.
2014-12-16 www-dataPrinting of dates improved.
2014-12-16 Claudio Sacerdoti... Timestamp on exercises.
2014-12-16 www-dataLogging error messages too + new exercises.
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