]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e477ff2) | patch
Ported to latest version of Android SDK
authorClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Mon, 19 Oct 2015 15:13:04 +0000 (17:13 +0200)
committerClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Mon, 19 Oct 2015 15:13:04 +0000 (17:13 +0200)
commit23a3fa7a8181ef21d272a90dd1ff2ba353268813
tree486dfb88506af13c3d4302b3b38a91dbd8877aa9tree | snapshot
parente477ff2be762ba333c5c77c14bfdea574c700259commit | diff
Ported to latest version of Android SDK

The porting has been done automatically.
275 files changed:
mainActivity/._AndroidManifest.xml [deleted file] blob | history
mainActivity/.classpath [deleted file] blob | history
mainActivity/.gradle/2.4/taskArtifacts/cache.properties [new file with mode: 0644] blob
mainActivity/.gradle/2.4/taskArtifacts/cache.properties.lock [new file with mode: 0644] blob
mainActivity/.gradle/2.4/taskArtifacts/fileHashes.bin [new file with mode: 0644] blob
mainActivity/.gradle/2.4/taskArtifacts/fileSnapshots.bin [new file with mode: 0644] blob
mainActivity/.gradle/2.4/taskArtifacts/outputFileStates.bin [new file with mode: 0644] blob
mainActivity/.gradle/2.4/taskArtifacts/taskArtifacts.bin [new file with mode: 0644] blob
mainActivity/.idea/.name [new file with mode: 0644] blob
mainActivity/.idea/compiler.xml [new file with mode: 0644] blob
mainActivity/.idea/copyright/profiles_settings.xml [new file with mode: 0644] blob
mainActivity/.idea/gradle.xml [new file with mode: 0644] blob
mainActivity/.idea/libraries/support_v4_19_1_0.xml [new file with mode: 0644] blob
mainActivity/.idea/misc.xml [new file with mode: 0644] blob
mainActivity/.idea/modules.xml [new file with mode: 0644] blob
mainActivity/.idea/runConfigurations.xml [new file with mode: 0644] blob
mainActivity/.idea/vcs.xml [new file with mode: 0644] blob
mainActivity/.idea/workspace.xml [new file with mode: 0644] blob
mainActivity/.project [deleted file] blob | history
mainActivity/.settings/org.eclipse.jdt.core.prefs [deleted file] blob | history
mainActivity/AndroidManifest.xml [deleted file] blob | history
mainActivity/app/app.iml [new file with mode: 0644] blob
mainActivity/app/build.gradle [new file with mode: 0644] blob
mainActivity/app/build/generated/source/buildConfig/androidTest/debug/com/example/furt/myapplication/test/BuildConfig.java [new file with mode: 0644] blob
mainActivity/app/build/generated/source/buildConfig/debug/com/example/furt/myapplication/BuildConfig.java [new file with mode: 0644] blob
mainActivity/app/build/generated/source/r/debug/com/example/furt/myapplication/R.java [new file with mode: 0644] blob
mainActivity/app/build/intermediates/dex/debug/classes.dex [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/aidl/androidTest/debug/dependency.store [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/aidl/debug/dependency.store [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/mergeAssets/androidTest/debug/merger.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/mergeAssets/debug/merger.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/mergeResourcesandroidTest/debug/merger.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/incremental/mergeResourcesdebug/merger.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/manifest/androidTest/debug/AndroidManifest.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/manifests/full/debug/AndroidManifest.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/pre-dexed/debug/support-v4-19.1.0-8faefc2ba4cd5a2975855f5f7f9dd384b0788ebc.jar [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-hdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-mdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-xhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/drawable-xxhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout-land/download.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/activity_login.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/activity_my.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/aggiornamento.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/download.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/reimpostapass.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/ruledialog.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/string_layout.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/layout/textviewgeneral.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/menu/login_set.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/menu/menu_dow.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/menu/my.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/raw/halloween.crt [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/raw/keystore.bks [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/values-w820dp/values-w820dp.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/merged/debug/values/values.xml [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/resources-debug-androidTest.ap_ [new file with mode: 0644] blob
mainActivity/app/build/intermediates/res/resources-debug.ap_ [new file with mode: 0644] blob
mainActivity/app/build/outputs/apk/app-debug-unaligned.apk [new file with mode: 0644] blob
mainActivity/app/build/outputs/apk/app-debug.apk [new file with mode: 0644] blob
mainActivity/app/build/outputs/logs/manifest-merger-debug-report.txt [new file with mode: 0644] blob
mainActivity/app/lint.xml [new file with mode: 0644] blob
mainActivity/app/src/main/AndroidManifest.xml [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Border.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/BorderedTextView.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/CopyPasteDialog.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/DialogTouchHandler.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/DrawActivity.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/EliminationRule.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FView.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Formula.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaAnd.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaBOT.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaImpl.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaNot.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaOr.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/FormulaTOP.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/GenericFormula.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Hypothesis.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/IntroductionRule.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Literal.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/LongHPClick.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/MD5.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/MyService.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Node.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleAndElimination.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleBotElimination.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleDialog.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleImplElimination.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleIntroduction.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleNotElimination.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/RuleOrElimination.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/ServerData.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/Tree.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/UndefinedFormula.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/aggiorna.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/aggiornamento.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/askFormula.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/download_page.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/global.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/listElem.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/longnodeHandler.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/mainActivity.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/operandClick.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/parser.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/parserDialog.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/personalDBHelper.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/personalTrackerContract.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/recuperaPass.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/serverComunication.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/suString.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/touchHPHandler.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/touchParserHandler.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/touchnodeHandler.java [new file with mode: 0644] blob
mainActivity/app/src/main/java/com/example/furt/myapplication/valutazione.java [new file with mode: 0644] blob
mainActivity/app/src/main/res/._drawable-hdpi [new file with mode: 0644] blob
mainActivity/app/src/main/res/._drawable-mdpi [new file with mode: 0644] blob
mainActivity/app/src/main/res/._drawable-xxhdpi [new file with mode: 0644] blob
mainActivity/app/src/main/res/._values [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-hdpi/._ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-hdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-hdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-mdpi/._ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-mdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-mdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xhdpi/._ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xxhdpi/._ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xxhdpi/def.jpg [new file with mode: 0644] blob
mainActivity/app/src/main/res/drawable-xxhdpi/ic_launcher.png [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout-land/download.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/activity_login.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/activity_my.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/aggiornamento.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/download.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/reimpostapass.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/ruledialog.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/string_layout.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/layout/textviewgeneral.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/menu/._my.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/menu/login_set.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/menu/menu_dow.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/menu/my.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/raw/._halloween.crt [new file with mode: 0644] blob
mainActivity/app/src/main/res/raw/._keystore.bks [new file with mode: 0644] blob
mainActivity/app/src/main/res/raw/halloween.crt [new file with mode: 0644] blob
mainActivity/app/src/main/res/raw/keystore.bks [new file with mode: 0644] blob
mainActivity/app/src/main/res/values-w820dp/._dimens.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values-w820dp/dimens.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/._dimens.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/._strings.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/._styles.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/dimens.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/strings.xml [new file with mode: 0644] blob
mainActivity/app/src/main/res/values/styles.xml [new file with mode: 0644] blob
mainActivity/bin/AndroidManifest.xml [deleted file] blob | history
mainActivity/bin/classes.dex [deleted file] blob | history
mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar [deleted file] blob | history
mainActivity/bin/mainActivity.apk [deleted file] blob | history
mainActivity/bin/res/crunch/drawable-hdpi/ic_launcher.png [deleted file] blob | history
mainActivity/bin/res/crunch/drawable-mdpi/ic_launcher.png [deleted file] blob | history
mainActivity/bin/res/crunch/drawable-xhdpi/ic_launcher.png [deleted file] blob | history
mainActivity/bin/res/crunch/drawable-xxhdpi/ic_launcher.png [deleted file] blob | history
mainActivity/bin/resources.ap_ [deleted file] blob | history
mainActivity/build.gradle [new file with mode: 0644] blob
mainActivity/build/intermediates/dex-cache/cache.xml [new file with mode: 0644] blob
mainActivity/gradle/wrapper/gradle-wrapper.jar [new file with mode: 0644] blob
mainActivity/gradle/wrapper/gradle-wrapper.properties [new file with mode: 0644] blob
mainActivity/gradlew [new file with mode: 0755] blob
mainActivity/gradlew.bat [new file with mode: 0644] blob
mainActivity/import-summary.txt [new file with mode: 0644] blob
mainActivity/libs/android-support-v4.jar [deleted file] blob | history
mainActivity/lint.xml [deleted file] blob | history
mainActivity/local.properties [new file with mode: 0644] blob
mainActivity/mainActivity.iml [new file with mode: 0644] blob
mainActivity/project.properties [deleted file] blob | history
mainActivity/res/._drawable-hdpi [deleted file] blob | history
mainActivity/res/._drawable-mdpi [deleted file] blob | history
mainActivity/res/._drawable-xxhdpi [deleted file] blob | history
mainActivity/res/._values [deleted file] blob | history
mainActivity/res/drawable-hdpi/._ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-hdpi/def.jpg [deleted file] blob | history
mainActivity/res/drawable-hdpi/ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-mdpi/._ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-mdpi/def.jpg [deleted file] blob | history
mainActivity/res/drawable-mdpi/ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-xhdpi/._ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-xhdpi/def.jpg [deleted file] blob | history
mainActivity/res/drawable-xhdpi/ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-xxhdpi/._ic_launcher.png [deleted file] blob | history
mainActivity/res/drawable-xxhdpi/def.jpg [deleted file] blob | history
mainActivity/res/drawable-xxhdpi/ic_launcher.png [deleted file] blob | history
mainActivity/res/layout-land/download.xml [deleted file] blob | history
mainActivity/res/layout/activity_login.xml [deleted file] blob | history
mainActivity/res/layout/activity_my.xml [deleted file] blob | history
mainActivity/res/layout/aggiornamento.xml [deleted file] blob | history
mainActivity/res/layout/download.xml [deleted file] blob | history
mainActivity/res/layout/reimpostapass.xml [deleted file] blob | history
mainActivity/res/layout/ruledialog.xml [deleted file] blob | history
mainActivity/res/layout/string_layout.xml [deleted file] blob | history
mainActivity/res/layout/textviewgeneral.xml [deleted file] blob | history
mainActivity/res/menu/._my.xml [deleted file] blob | history
mainActivity/res/menu/login_set.xml [deleted file] blob | history
mainActivity/res/menu/menu_dow.xml [deleted file] blob | history
mainActivity/res/menu/my.xml [deleted file] blob | history
mainActivity/res/raw/._halloween.crt [deleted file] blob | history
mainActivity/res/raw/._keystore.bks [deleted file] blob | history
mainActivity/res/raw/halloween.crt [deleted file] blob | history
mainActivity/res/raw/keystore.bks [deleted file] blob | history
mainActivity/res/values-w820dp/._dimens.xml [deleted file] blob | history
mainActivity/res/values-w820dp/dimens.xml [deleted file] blob | history
mainActivity/res/values/._dimens.xml [deleted file] blob | history
mainActivity/res/values/._strings.xml [deleted file] blob | history
mainActivity/res/values/._styles.xml [deleted file] blob | history
mainActivity/res/values/dimens.xml [deleted file] blob | history
mainActivity/res/values/strings.xml [deleted file] blob | history
mainActivity/res/values/styles.xml [deleted file] blob | history
mainActivity/settings.gradle [new file with mode: 0644] blob
mainActivity/src/com/example/furt/myapplication/Border.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/BorderedTextView.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/CopyPasteDialog.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/DrawActivity.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/EliminationRule.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FView.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/Formula.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaAnd.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaBOT.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaImpl.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaNot.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaOr.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/FormulaTOP.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/GenericFormula.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/Hypothesis.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/IntroductionRule.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/Literal.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/LongHPClick.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/MD5.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/MyService.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/Node.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleDialog.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/ServerData.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/Tree.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/aggiorna.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/aggiornamento.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/askFormula.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/download_page.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/global.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/listElem.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/longnodeHandler.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/mainActivity.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/operandClick.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/parser.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/parserDialog.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/personalDBHelper.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/personalTrackerContract.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/recuperaPass.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/serverComunication.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/suString.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/touchHPHandler.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/touchParserHandler.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/valutazione.java [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.