From 2a08ef802fd497e1d699e67204c8d42c137146da Mon Sep 17 00:00:00 2001 From: www-data Date: Thu, 11 Dec 2014 14:12:53 +0100 Subject: [PATCH] ... --- public_html/LogicPlayer.apk | 1 + public_html/index.html | 21 ++++++--------------- server/com/company/esercizi.xml | 3 --- 3 files changed, 7 insertions(+), 18 deletions(-) create mode 120000 public_html/LogicPlayer.apk 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 -- 2.39.2