]> matita.cs.unibo.it Git - logicplayer.git/commit
projects / logicplayer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4381914) | patch
Dirty hack to improve size computation for hypotheses.
authorClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Thu, 11 Dec 2014 12:40:12 +0000 (13:40 +0100)
committerClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Thu, 11 Dec 2014 12:40:12 +0000 (13:40 +0100)
commit8e0f5754fc81b6b3eca23a6fc30481bfb2a68b1e
tree800f5a0ee489f16eb01b68e16273f8ff09974d87tree | snapshot
parent43819143cf823e6767dc944fc4b095cf9a773ba2commit | diff
Dirty hack to improve size computation for hypotheses.
mainActivity/AndroidManifest.xml diff | blob | history
mainActivity/bin/AndroidManifest.xml diff | blob | history
mainActivity/bin/classes.dex diff | blob | history
mainActivity/bin/dexedLibs/android-support-v4-70fb0600066156aa2b6d08c87cc768e7.jar diff | blob | history
mainActivity/bin/mainActivity.apk diff | blob | history
mainActivity/bin/resources.ap_ diff | blob | history
mainActivity/res/layout/.activity_my.xml.swp [deleted file] blob | history
mainActivity/src/com/example/furt/myapplication/touchnodeHandler.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.