]> matita.cs.unibo.it Git - logicplayer.git/commit
new initial commit
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 10:24:48 +0000 (11:24 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 10:24:48 +0000 (11:24 +0100)
commita02dc65816998ec35975339dbad1627c2e5fb444
treee0c217a3645d3797a69f2bb33ea6a1d2b36f7409
new initial commit
138 files changed:
Server/JOURNAL [new file with mode: 0644]
Server/logintesi.sql [new file with mode: 0644]
Server/server/tesi/.idea/compiler.xml [new file with mode: 0644]
Server/server/tesi/.idea/copyright/profiles_settings.xml [new file with mode: 0644]
Server/server/tesi/.idea/description.html [new file with mode: 0644]
Server/server/tesi/.idea/encodings.xml [new file with mode: 0644]
Server/server/tesi/.idea/misc.xml [new file with mode: 0644]
Server/server/tesi/.idea/modules.xml [new file with mode: 0644]
Server/server/tesi/.idea/project-template.xml [new file with mode: 0644]
Server/server/tesi/.idea/scopes/scope_settings.xml [new file with mode: 0644]
Server/server/tesi/.idea/uiDesigner.xml [new file with mode: 0644]
Server/server/tesi/.idea/vcs.xml [new file with mode: 0644]
Server/server/tesi/.idea/workspace.xml [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/DirectoryWatcher.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/EmailSender.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/EsNameParser.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/MD5.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/dbConnect.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/esercizi.xml [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/global.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/guestServer.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/httpget$MyHandler.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/httpget.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/keystore.bks [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/keystore.crt [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/keystore.jks [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/personalServer.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/suString.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/superServer.class [new file with mode: 0644]
Server/server/tesi/out/production/tesi/com/company/xmlOperation.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/DeleteFileExample.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/EmailSender.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/EsNameParser.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/dbConnect.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/esercizi.xml [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/guestServer.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/httpget$MyHandler.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/httpget.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/keystore.bks [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/keystore.crt [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/keystore.jks [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/personalServer.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/suString.class [new file with mode: 0644]
Server/server/tesi/out/production/testi/com/company/superServer.class [new file with mode: 0644]
Server/server/tesi/src/com/company/DeleteFileExample.class [new file with mode: 0644]
Server/server/tesi/src/com/company/DirectoryWatcher.class [new file with mode: 0644]
Server/server/tesi/src/com/company/DirectoryWhatcer.java [new file with mode: 0644]
Server/server/tesi/src/com/company/EmailSender.class [new file with mode: 0644]
Server/server/tesi/src/com/company/EmailSender.java [new file with mode: 0644]
Server/server/tesi/src/com/company/EsNameParser.class [new file with mode: 0644]
Server/server/tesi/src/com/company/EsNameParser.java [new file with mode: 0644]
Server/server/tesi/src/com/company/MD5.class [new file with mode: 0644]
Server/server/tesi/src/com/company/MD5.java [new file with mode: 0644]
Server/server/tesi/src/com/company/Makefile [new file with mode: 0644]
Server/server/tesi/src/com/company/dbConnect.class [new file with mode: 0644]
Server/server/tesi/src/com/company/dbConnect.java [new file with mode: 0644]
Server/server/tesi/src/com/company/esercizi.xml [new file with mode: 0644]
Server/server/tesi/src/com/company/esercizi.xml~ [new file with mode: 0644]
Server/server/tesi/src/com/company/global.class [new file with mode: 0644]
Server/server/tesi/src/com/company/global.java [new file with mode: 0644]
Server/server/tesi/src/com/company/guestServer.class [new file with mode: 0644]
Server/server/tesi/src/com/company/guestServer.java [new file with mode: 0644]
Server/server/tesi/src/com/company/httpget$MyHandler.class [new file with mode: 0644]
Server/server/tesi/src/com/company/httpget.class [new file with mode: 0644]
Server/server/tesi/src/com/company/httpget.java [new file with mode: 0644]
Server/server/tesi/src/com/company/keystore.bks [new file with mode: 0644]
Server/server/tesi/src/com/company/keystore.crt [new file with mode: 0644]
Server/server/tesi/src/com/company/keystore.jks [new file with mode: 0644]
Server/server/tesi/src/com/company/personalServer.class [new file with mode: 0644]
Server/server/tesi/src/com/company/personalServer.java [new file with mode: 0644]
Server/server/tesi/src/com/company/suString.class [new file with mode: 0644]
Server/server/tesi/src/com/company/suString.java [new file with mode: 0644]
Server/server/tesi/src/com/company/superServer.class [new file with mode: 0644]
Server/server/tesi/src/com/company/superServer.java [new file with mode: 0644]
Server/server/tesi/src/com/company/testEsname.class [new file with mode: 0644]
Server/server/tesi/src/com/company/xmlOperation.class [new file with mode: 0644]
Server/server/tesi/src/com/company/xmlOperation.java [new file with mode: 0644]
Server/server/tesi/src/go.sh [new file with mode: 0755]
Server/server/tesi/tesi.iml [new file with mode: 0644]
Server/webApp/.prova.php.swp [new file with mode: 0644]
Server/webApp/esercizi/aalbero.xml [new file with mode: 0644]
Server/webApp/esercizi/demorgan.xml [new file with mode: 0644]
Server/webApp/esercizi/demorgan2.xml [new file with mode: 0644]
Server/webApp/esercizi/risolvibile.xml [new file with mode: 0644]
Server/webApp/esercizi/tautologia.xml [new file with mode: 0644]
Server/webApp/esercizi/test.xml [new file with mode: 0644]
Server/webApp/index.html [new file with mode: 0755]
Server/webApp/index.html~ [new file with mode: 0755]
Server/webApp/login.css [new file with mode: 0755]
Server/webApp/login.js [new file with mode: 0755]
Server/webApp/login.js~ [new file with mode: 0755]
Server/webApp/login.php [new file with mode: 0755]
Server/webApp/login.php~ [new file with mode: 0755]
Server/webApp/logout.js [new file with mode: 0755]
Server/webApp/logout.php [new file with mode: 0755]
Server/webApp/main.php [new file with mode: 0755]
Server/webApp/printEs.php [new file with mode: 0755]
Server/webApp/prova.html~ [new file with mode: 0755]
Server/webApp/prova.js [new file with mode: 0755]
Server/webApp/prova.pho [new file with mode: 0755]
Server/webApp/prova.pho~ [new file with mode: 0755]
Server/webApp/prova.php [new file with mode: 0755]
Server/webApp/prova.php~ [new file with mode: 0755]
Server/webApp/prova.txt [new file with mode: 0755]
Server/webApp/prova.txt~ [new file with mode: 0755]
Server/webApp/serverRequest.php [new file with mode: 0755]
Server/webApp/upload.php [new file with mode: 0755]
Server/webApp/upload.php~ [new file with mode: 0755]
Server/webApp/util.php [new file with mode: 0755]
Server/webApp/xmlPharse.php [new file with mode: 0755]
public_html/esercizi/demorgan2.xml [new file with mode: 0644]
public_html/esercizi/risolvibile.xml [new file with mode: 0644]
public_html/esercizi/test.xml [new file with mode: 0644]
public_html/esercizi/triviale.xml [new file with mode: 0644]
public_html/index.html [new file with mode: 0755]
public_html/index.html~ [new file with mode: 0755]
public_html/login.css [new file with mode: 0755]
public_html/login.js [new file with mode: 0755]
public_html/login.js~ [new file with mode: 0755]
public_html/login.php [new file with mode: 0755]
public_html/login.php~ [new file with mode: 0755]
public_html/logout.js [new file with mode: 0755]
public_html/logout.php [new file with mode: 0755]
public_html/main.php [new file with mode: 0755]
public_html/printEs.php [new file with mode: 0755]
public_html/prova.html~ [new file with mode: 0755]
public_html/prova.js [new file with mode: 0755]
public_html/prova.pho [new file with mode: 0755]
public_html/prova.pho~ [new file with mode: 0755]
public_html/prova.php [new file with mode: 0755]
public_html/prova.php~ [new file with mode: 0755]
public_html/prova.txt [new file with mode: 0755]
public_html/prova.txt~ [new file with mode: 0755]
public_html/serverRequest.php [new file with mode: 0755]
public_html/upload.php [new file with mode: 0755]
public_html/upload.php~ [new file with mode: 0755]
public_html/util.php [new file with mode: 0755]
public_html/xmlPharse.php [new file with mode: 0755]