]> matita.cs.unibo.it Git - logicplayer.git/log
logicplayer.git
9 years agoNow uses localhost to send e-mail.
www-data [Thu, 11 Dec 2014 18:26:08 +0000 (19:26 +0100)]
Now uses localhost to send e-mail.

9 years agoNew version.
www-data [Thu, 11 Dec 2014 13:23:45 +0000 (14:23 +0100)]
New version.

9 years ago...
www-data [Thu, 11 Dec 2014 13:12:53 +0000 (14:12 +0100)]
...

9 years agoNew exercises.
www-data [Thu, 11 Dec 2014 12:59:39 +0000 (13:59 +0100)]
New exercises.

9 years ago...
www-data [Thu, 11 Dec 2014 12:57:45 +0000 (13:57 +0100)]
...

9 years ago...
www-data [Tue, 9 Dec 2014 14:02:50 +0000 (15:02 +0100)]
...

9 years agoDirty hack to improve size computation for hypotheses.
Claudio Sacerdoti Coen [Thu, 11 Dec 2014 12:40:12 +0000 (13:40 +0100)]
Dirty hack to improve size computation for hypotheses.

9 years agoNew version (to be tested).
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:39:48 +0000 (15:39 +0100)]
New version (to be tested).

9 years agoNew version
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 14:12:12 +0000 (15:12 +0100)]
New version

9 years agoThe applet.
Claudio Sacerdoti Coen [Tue, 9 Dec 2014 13:24:27 +0000 (14:24 +0100)]
The applet.

9 years agoNew version of webapp.
www-data [Tue, 2 Dec 2014 14:50:30 +0000 (15:50 +0100)]
New version of webapp.

9 years agoJOURNAL updated to new repository layout and new version
www-data [Tue, 2 Dec 2014 11:26:35 +0000 (12:26 +0100)]
JOURNAL updated to new repository layout and new version

9 years agoUpdated to new version.
www-data [Tue, 2 Dec 2014 11:20:30 +0000 (12:20 +0100)]
Updated to new version.

9 years agocleanup
www-data [Tue, 2 Dec 2014 10:45:26 +0000 (11:45 +0100)]
cleanup

9 years agoDevelopment files dropped.
www-data [Tue, 2 Dec 2014 10:41:49 +0000 (11:41 +0100)]
Development files dropped.

9 years agoshuffling + libs imported
www-data [Tue, 2 Dec 2014 10:41:03 +0000 (11:41 +0100)]
shuffling + libs imported

9 years agoShuffling.
www-data [Tue, 2 Dec 2014 10:34:39 +0000 (11:34 +0100)]
Shuffling.

9 years agonew initial commit
www-data [Tue, 2 Dec 2014 10:24:48 +0000 (11:24 +0100)]
new initial commit