]> matita.cs.unibo.it Git - logicplayer.git/commitdiff
projects / logicplayer.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 109b9ca)
...
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 13:12:53 +0000 (14:12 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Thu, 11 Dec 2014 13:12:53 +0000 (14:12 +0100)
public_html/LogicPlayer.apk [new symlink] patch | blob
public_html/index.html patch | blob | history
server/com/company/esercizi.xml patch | blob | history

diff --git a/public_html/LogicPlayer.apk b/public_html/LogicPlayer.apk
new file mode 120000 (symlink)
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 62e344625f467f5fd1995ad88cdfaa3a372f91fa..c51b66678cd493da1d5f6f7d5983ff8e334d3fce 100755 (executable)
--- a/public_html/index.html
+++ b/public_html/index.html
@@ -1,17 +1,8 @@
-<!DOCTYPE html>
 <html>
-    <head>
-        <meta charset="utf-8"/>
-        <link rel="stylesheet" type="text/css" media="all" href="login.css"/>
-        <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
-        <script type="text/javascript" src="./login.js"></script>
-    </head>
-    <body>
-        <h1>Benvenuto nella pagina di amministazione</h1>
-        <form id="login">
-            <input type="text" id="username" class="form-control" placeholder="Username">
-            <input type="password" id="password" class="form-control" placeholder="Password">
-            <button type="button" id="loginForm" class="btn btn-success">accedi</button>
-        </form>
-    </body>
+<h1>LogicPlayer (version: 11/12/2014)</h1>
+<p>LogicPlayer is an Android app for students of logic. It allows to resolve
+exercises in propositional natural deduction. It can be download
+<a href="LogicPlayer.apk">here</a>.</p>
+
+<p>Notes: you need to register using the e-mail address @studio.unibo.it.</p>
 </html>
diff --git a/server/com/company/esercizi.xml b/server/com/company/esercizi.xml
index 5f4d3d6f93da1d7796aa9fd3b4017491283076ce..63e45823020c99432e30107bc5ce8268a6e9881e 100644 (file)
--- a/server/com/company/esercizi.xml
+++ b/server/com/company/esercizi.xml
@@ -1,9 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>\r
 <esercizi>\r
   <esercizio md5="2a54f15678d8b0fa3b2d1f3824dfd7b6">demorgan.xml</esercizio>\r
-  <esercizio md5="4bfe78fb51248594a8b98ba51eff769f">triviale.xml</esercizio>\r
-  <esercizio md5="97c0cdde7504597040d100cfe3aa1644">test.xml</esercizio>\r
-  <esercizio md5="3c217b2132e40729b6c56c39073a356a">risolvibile.xml</esercizio>\r
   <esercizio md5="62b5ca97fbf8a5845185ae6010e26828">demorgan2.xml</esercizio>\r
   <esercizio md5="ada74dfbbd17a75aee6ba5fae31ee33f">ex1-7.xml</esercizio>\r
   <esercizio md5="1a0d5371bcdbb0cd4afc4af210420363">ex1-5.xml</esercizio>\r
Unnamed repository; edit this file 'description' to name the repository.