]>
matita.cs.unibo.it Git - logicplayer.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
servillo [Tue, 20 Oct 2015 11:49:01 +0000 (13:49 +0200)]
server/log ignored
servillo [Tue, 20 Oct 2015 11:46:31 +0000 (13:46 +0200)]
*~ ignored
servillo [Tue, 20 Oct 2015 11:44:08 +0000 (13:44 +0200)]
Non versioned files removed from git
servillo [Tue, 20 Oct 2015 11:38:28 +0000 (13:38 +0200)]
.gradle ignored
Claudio Sacerdoti Coen [Mon, 19 Oct 2015 15:13:04 +0000 (17:13 +0200)]
Ported to latest version of Android SDK
The porting has been done automatically.
root [Mon, 5 Oct 2015 14:55:53 +0000 (16:55 +0200)]
JOURNAL updated
The DB name was wrong.
Claudio Sacerdoti Coen [Tue, 16 Dec 2014 17:08:38 +0000 (18:08 +0100)]
...
www-data [Tue, 16 Dec 2014 17:07:12 +0000 (18:07 +0100)]
...
www-data [Tue, 16 Dec 2014 16:52:30 +0000 (17:52 +0100)]
Bug fixed: made robust against lost of connection with db.
www-data [Tue, 16 Dec 2014 16:28:43 +0000 (17:28 +0100)]
Printing of dates improved.
Claudio Sacerdoti Coen [Tue, 16 Dec 2014 16:07:13 +0000 (17:07 +0100)]
Timestamp on exercises.
www-data [Tue, 16 Dec 2014 15:58:46 +0000 (16:58 +0100)]
Logging error messages too + new exercises.
www-data [Thu, 11 Dec 2014 18:57:08 +0000 (19:57 +0100)]
New exercises.
www-data [Thu, 11 Dec 2014 18:30:05 +0000 (19:30 +0100)]
gitignore
www-data [Thu, 11 Dec 2014 18:27:55 +0000 (19:27 +0100)]
It now logs again (using tee).
www-data [Thu, 11 Dec 2014 18:26:08 +0000 (19:26 +0100)]
Now uses localhost to send e-mail.
www-data [Thu, 11 Dec 2014 13:23:45 +0000 (14:23 +0100)]
New version.
www-data [Thu, 11 Dec 2014 13:12:53 +0000 (14:12 +0100)]
...
www-data [Thu, 11 Dec 2014 12:59:39 +0000 (13:59 +0100)]
New exercises.
www-data [Thu, 11 Dec 2014 12:57:45 +0000 (13:57 +0100)]
...
www-data [Tue, 9 Dec 2014 14:02:50 +0000 (15:02 +0100)]
...
Claudio Sacerdoti Coen [Thu, 11 Dec 2014 12:40:12 +0000 (13:40 +0100)]
Dirty hack to improve size computation for hypotheses.
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:39:48 +0000 (15:39 +0100)]
New version (to be tested).
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:12:12 +0000 (15:12 +0100)]
New version
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 13:24:27 +0000 (14:24 +0100)]
The applet.
www-data [Tue, 2 Dec 2014 14:50:30 +0000 (15:50 +0100)]
New version of webapp.
www-data [Tue, 2 Dec 2014 11:26:35 +0000 (12:26 +0100)]
JOURNAL updated to new repository layout and new version
www-data [Tue, 2 Dec 2014 11:20:30 +0000 (12:20 +0100)]
Updated to new version.
www-data [Tue, 2 Dec 2014 10:45:26 +0000 (11:45 +0100)]
cleanup
www-data [Tue, 2 Dec 2014 10:41:49 +0000 (11:41 +0100)]
Development files dropped.
www-data [Tue, 2 Dec 2014 10:41:03 +0000 (11:41 +0100)]
shuffling + libs imported
www-data [Tue, 2 Dec 2014 10:34:39 +0000 (11:34 +0100)]
Shuffling.
www-data [Tue, 2 Dec 2014 10:24:48 +0000 (11:24 +0100)]
new initial commit
projects / logicplayer.git / log