]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - public_html/index.html
...
[logicplayer.git] / public_html / index.html
index 62e344625f467f5fd1995ad88cdfaa3a372f91fa..c51b66678cd493da1d5f6f7d5983ff8e334d3fce 100755 (executable)
@@ -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>