]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71021eb) | patch
The applet.
authorClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 9 Dec 2014 13:24:27 +0000 (14:24 +0100)
committerClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 9 Dec 2014 13:24:27 +0000 (14:24 +0100)
commit92c1b7c5e38b8d6ffbeffb2c515bb99149841803
treeb58bb1d994e5e2925cb17ddb3b4a063600c08651tree | snapshot
parent71021eb632e1429274a66cf4344e107b9c5fb0d5commit | diff
The applet.
112 files changed:
mainActivity/._AndroidManifest.xml [new file with mode: 0755] blob
mainActivity/.classpath [new file with mode: 0644] blob
mainActivity/.project [new file with mode: 0644] blob
mainActivity/.settings/org.eclipse.jdt.core.prefs [new file with mode: 0644] blob
mainActivity/AndroidManifest.xml [new file with mode: 0755] blob
mainActivity/bin/AndroidManifest.xml [new file with mode: 0644] blob
mainActivity/bin/classes.dex [new file with mode: 0644] blob
mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar [new file with mode: 0644] blob
mainActivity/bin/mainActivity.apk [new file with mode: 0644] blob
mainActivity/bin/res/crunch/drawable-hdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/bin/res/crunch/drawable-mdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/bin/res/crunch/drawable-xhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/bin/res/crunch/drawable-xxhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/bin/resources.ap_ [new file with mode: 0644] blob
mainActivity/libs/android-support-v4.jar [new file with mode: 0644] blob
mainActivity/lint.xml [new file with mode: 0644] blob
mainActivity/project.properties [new file with mode: 0644] blob
mainActivity/res/._drawable-hdpi [new file with mode: 0755] blob
mainActivity/res/._drawable-mdpi [new file with mode: 0755] blob
mainActivity/res/._drawable-xxhdpi [new file with mode: 0755] blob
mainActivity/res/._values [new file with mode: 0755] blob
mainActivity/res/drawable-hdpi/._ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-hdpi/def.jpg [new file with mode: 0644] blob
mainActivity/res/drawable-hdpi/ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-mdpi/._ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-mdpi/def.jpg [new file with mode: 0644] blob
mainActivity/res/drawable-mdpi/ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-xhdpi/._ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-xhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/res/drawable-xhdpi/ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-xxhdpi/._ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/drawable-xxhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/res/drawable-xxhdpi/ic_launcher.png [new file with mode: 0755] blob
mainActivity/res/layout-land/download.xml [new file with mode: 0755] blob
mainActivity/res/layout/.activity_my.xml.swp [new file with mode: 0644] blob
mainActivity/res/layout/activity_login.xml [new file with mode: 0755] blob
mainActivity/res/layout/activity_my.xml [new file with mode: 0755] blob
mainActivity/res/layout/aggiornamento.xml [new file with mode: 0755] blob
mainActivity/res/layout/download.xml [new file with mode: 0755] blob
mainActivity/res/layout/reimpostapass.xml [new file with mode: 0644] blob
mainActivity/res/layout/ruledialog.xml [new file with mode: 0755] blob
mainActivity/res/layout/string_layout.xml [new file with mode: 0755] blob
mainActivity/res/layout/textviewgeneral.xml [new file with mode: 0644] blob
mainActivity/res/menu/._my.xml [new file with mode: 0755] blob
mainActivity/res/menu/login_set.xml [new file with mode: 0755] blob
mainActivity/res/menu/menu_dow.xml [new file with mode: 0755] blob
mainActivity/res/menu/my.xml [new file with mode: 0755] blob
mainActivity/res/raw/._halloween.crt [new file with mode: 0755] blob
mainActivity/res/raw/._keystore.bks [new file with mode: 0755] blob
mainActivity/res/raw/halloween.crt [new file with mode: 0755] blob
mainActivity/res/raw/keystore.bks [new file with mode: 0755] blob
mainActivity/res/values-w820dp/._dimens.xml [new file with mode: 0755] blob
mainActivity/res/values-w820dp/dimens.xml [new file with mode: 0755] blob
mainActivity/res/values/._dimens.xml [new file with mode: 0755] blob
mainActivity/res/values/._strings.xml [new file with mode: 0755] blob
mainActivity/res/values/._styles.xml [new file with mode: 0755] blob
mainActivity/res/values/dimens.xml [new file with mode: 0755] blob
mainActivity/res/values/strings.xml [new file with mode: 0755] blob
mainActivity/res/values/styles.xml [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Border.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/BorderedTextView.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/CopyPasteDialog.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/DrawActivity.java [new file with mode: 0644] blob
mainActivity/src/com/example/furt/myapplication/EliminationRule.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FView.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Formula.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaAnd.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaBOT.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaImpl.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaNot.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaOr.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/FormulaTOP.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/GenericFormula.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Hypothesis.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/IntroductionRule.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Literal.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/LongHPClick.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/MD5.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/MyService.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Node.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleDialog.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/ServerData.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/Tree.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/TwoDScrollView.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/aggiorna.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/aggiornamento.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/askFormula.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/download_page.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/global.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/listElem.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/mainActivity.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/operandClick.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/parser.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/parserDialog.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/personalDBHelper.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/personalTrackerContract.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/recuperaPass.java [new file with mode: 0644] blob
mainActivity/src/com/example/furt/myapplication/serverComunication.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/suString.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/touchHPHandler.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/touchParserHandler.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/touchRuleHandler.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java [new file with mode: 0755] blob
mainActivity/src/com/example/furt/myapplication/valutazione.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.