matita.cs.unibo.it Git - logicplayer.git/commit

]> matita.cs.unibo.it Git - logicplayer.git/commit

author	www-data <www-data@lahar.helm.cs.unibo.it>
	Tue, 2 Dec 2014 10:34:39 +0000 (11:34 +0100)
committer	www-data <www-data@lahar.helm.cs.unibo.it>
	Tue, 2 Dec 2014 10:34:39 +0000 (11:34 +0100)
commit	edfa62efb21b128dce6de134a3fb0d85f77bd2b8
tree	5a8c9882ef61930b95ae3a27fe707426f4668ce3	tree \| snapshot
parent	a02dc65816998ec35975339dbad1627c2e5fb444	commit \| diff

Shuffling.

189 files changed:

JOURNAL	[new file with mode: 0644]	blob
Server/JOURNAL	[deleted file]	blob \| history
Server/logintesi.sql	[deleted file]	blob \| history
Server/server/tesi/.idea/compiler.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/copyright/profiles_settings.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/description.html	[deleted file]	blob \| history
Server/server/tesi/.idea/encodings.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/misc.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/modules.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/project-template.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/scopes/scope_settings.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/uiDesigner.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/vcs.xml	[deleted file]	blob \| history
Server/server/tesi/.idea/workspace.xml	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/DirectoryWatcher.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/EmailSender.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/EsNameParser.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/MD5.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/dbConnect.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/esercizi.xml	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/global.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/guestServer.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/httpget$MyHandler.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/httpget.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/keystore.bks	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/keystore.crt	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/keystore.jks	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/personalServer.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/suString.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/superServer.class	[deleted file]	blob \| history
Server/server/tesi/out/production/tesi/com/company/xmlOperation.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/DeleteFileExample.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/EmailSender.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/EsNameParser.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/dbConnect.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/esercizi.xml	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/guestServer.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/httpget$MyHandler.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/httpget.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/keystore.bks	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/keystore.crt	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/keystore.jks	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/personalServer.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/suString.class	[deleted file]	blob \| history
Server/server/tesi/out/production/testi/com/company/superServer.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/DeleteFileExample.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/DirectoryWatcher.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/DirectoryWhatcer.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/EmailSender.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/EmailSender.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/EsNameParser.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/EsNameParser.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/MD5.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/MD5.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/Makefile	[deleted file]	blob \| history
Server/server/tesi/src/com/company/dbConnect.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/dbConnect.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/esercizi.xml	[deleted file]	blob \| history
Server/server/tesi/src/com/company/esercizi.xml~	[deleted file]	blob \| history
Server/server/tesi/src/com/company/global.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/global.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/guestServer.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/guestServer.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/httpget$MyHandler.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/httpget.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/httpget.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/keystore.bks	[deleted file]	blob \| history
Server/server/tesi/src/com/company/keystore.crt	[deleted file]	blob \| history
Server/server/tesi/src/com/company/keystore.jks	[deleted file]	blob \| history
Server/server/tesi/src/com/company/personalServer.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/personalServer.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/suString.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/suString.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/superServer.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/superServer.java	[deleted file]	blob \| history
Server/server/tesi/src/com/company/testEsname.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/xmlOperation.class	[deleted file]	blob \| history
Server/server/tesi/src/com/company/xmlOperation.java	[deleted file]	blob \| history
Server/server/tesi/src/go.sh	[deleted file]	blob \| history
Server/server/tesi/tesi.iml	[deleted file]	blob \| history
Server/webApp/.prova.php.swp	[deleted file]	blob \| history
Server/webApp/esercizi/aalbero.xml	[deleted file]	blob \| history
Server/webApp/esercizi/demorgan.xml	[deleted file]	blob \| history
Server/webApp/esercizi/demorgan2.xml	[deleted file]	blob \| history
Server/webApp/esercizi/risolvibile.xml	[deleted file]	blob \| history
Server/webApp/esercizi/tautologia.xml	[deleted file]	blob \| history
Server/webApp/esercizi/test.xml	[deleted file]	blob \| history
Server/webApp/index.html	[deleted file]	blob \| history
Server/webApp/index.html~	[deleted file]	blob \| history
Server/webApp/login.css	[deleted file]	blob \| history
Server/webApp/login.js	[deleted file]	blob \| history
Server/webApp/login.js~	[deleted file]	blob \| history
Server/webApp/login.php	[deleted file]	blob \| history
Server/webApp/login.php~	[deleted file]	blob \| history
Server/webApp/logout.js	[deleted file]	blob \| history
Server/webApp/logout.php	[deleted file]	blob \| history
Server/webApp/main.php	[deleted file]	blob \| history
Server/webApp/printEs.php	[deleted file]	blob \| history
Server/webApp/prova.html~	[deleted file]	blob \| history
Server/webApp/prova.js	[deleted file]	blob \| history
Server/webApp/prova.pho	[deleted file]	blob \| history
Server/webApp/prova.pho~	[deleted file]	blob \| history
Server/webApp/prova.php	[deleted file]	blob \| history
Server/webApp/prova.php~	[deleted file]	blob \| history
Server/webApp/prova.txt	[deleted file]	blob \| history
Server/webApp/prova.txt~	[deleted file]	blob \| history
Server/webApp/serverRequest.php	[deleted file]	blob \| history
Server/webApp/upload.php	[deleted file]	blob \| history
Server/webApp/upload.php~	[deleted file]	blob \| history
Server/webApp/util.php	[deleted file]	blob \| history
Server/webApp/xmlPharse.php	[deleted file]	blob \| history
logintesi.sql	[new file with mode: 0644]	blob
server/tesi/.idea/compiler.xml	[new file with mode: 0644]	blob
server/tesi/.idea/copyright/profiles_settings.xml	[new file with mode: 0644]	blob
server/tesi/.idea/description.html	[new file with mode: 0644]	blob
server/tesi/.idea/encodings.xml	[new file with mode: 0644]	blob
server/tesi/.idea/misc.xml	[new file with mode: 0644]	blob
server/tesi/.idea/modules.xml	[new file with mode: 0644]	blob
server/tesi/.idea/project-template.xml	[new file with mode: 0644]	blob
server/tesi/.idea/scopes/scope_settings.xml	[new file with mode: 0644]	blob
server/tesi/.idea/uiDesigner.xml	[new file with mode: 0644]	blob
server/tesi/.idea/vcs.xml	[new file with mode: 0644]	blob
server/tesi/.idea/workspace.xml	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/DirectoryWatcher.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/EmailSender.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/EsNameParser.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/MD5.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/dbConnect.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/esercizi.xml	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/global.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/guestServer.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/httpget$MyHandler.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/httpget.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/keystore.bks	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/keystore.crt	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/keystore.jks	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/personalServer.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/suString.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/superServer.class	[new file with mode: 0644]	blob
server/tesi/out/production/tesi/com/company/xmlOperation.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/DeleteFileExample.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/EmailSender.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/EsNameParser.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/dbConnect.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/esercizi.xml	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/guestServer.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/httpget$MyHandler.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/httpget.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/keystore.bks	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/keystore.crt	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/keystore.jks	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/personalServer.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/suString.class	[new file with mode: 0644]	blob
server/tesi/out/production/testi/com/company/superServer.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/DeleteFileExample.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/DirectoryWatcher.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/DirectoryWhatcer.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/EmailSender.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/EmailSender.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/EsNameParser.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/EsNameParser.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/MD5.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/MD5.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/Makefile	[new file with mode: 0644]	blob
server/tesi/src/com/company/dbConnect.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/dbConnect.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/esercizi.xml	[new file with mode: 0644]	blob
server/tesi/src/com/company/esercizi.xml~	[new file with mode: 0644]	blob
server/tesi/src/com/company/global.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/global.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/guestServer.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/guestServer.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/httpget$MyHandler.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/httpget.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/httpget.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/keystore.bks	[new file with mode: 0644]	blob
server/tesi/src/com/company/keystore.crt	[new file with mode: 0644]	blob
server/tesi/src/com/company/keystore.jks	[new file with mode: 0644]	blob
server/tesi/src/com/company/personalServer.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/personalServer.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/suString.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/suString.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/superServer.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/superServer.java	[new file with mode: 0644]	blob
server/tesi/src/com/company/testEsname.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/xmlOperation.class	[new file with mode: 0644]	blob
server/tesi/src/com/company/xmlOperation.java	[new file with mode: 0644]	blob
server/tesi/src/go.sh	[new file with mode: 0755]	blob
server/tesi/tesi.iml	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom