]>
matita.cs.unibo.it Git - logicplayer.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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