From: www-data Date: Thu, 11 Dec 2014 13:12:53 +0000 (+0100) Subject: ... X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a08ef802fd497e1d699e67204c8d42c137146da;p=logicplayer.git ... --- diff --git a/public_html/LogicPlayer.apk b/public_html/LogicPlayer.apk new file mode 120000 index 0000000..388783b --- /dev/null +++ b/public_html/LogicPlayer.apk @@ -0,0 +1 @@ +../mainActivity/bin/mainActivity.apk \ No newline at end of file diff --git a/public_html/index.html b/public_html/index.html index 62e3446..c51b666 100755 --- a/public_html/index.html +++ b/public_html/index.html @@ -1,17 +1,8 @@ - - - - - - - - -

Benvenuto nella pagina di amministazione

- - +

LogicPlayer (version: 11/12/2014)

LogicPlayer is an Android app for students of logic. It allows to resolve +exercises in propositional natural deduction. It can be download +here.

+ +

Notes: you need to register using the e-mail address @studio.unibo.it.

diff --git a/server/com/company/esercizi.xml b/server/com/company/esercizi.xml index 5f4d3d6..63e4582 100644 --- a/server/com/company/esercizi.xml +++ b/server/com/company/esercizi.xml @@ -1,9 +1,6 @@ demorgan.xml - triviale.xml - test.xml - risolvibile.xml demorgan2.xml ex1-7.xml ex1-5.xml