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

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

author	Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
	Tue, 9 Dec 2014 14:39:48 +0000 (15:39 +0100)
committer	Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
	Tue, 9 Dec 2014 14:39:48 +0000 (15:39 +0100)
commit	43819143cf823e6767dc944fc4b095cf9a773ba2
tree	8ea466bbedc8570a65f099426066e3159016d6b8	tree \| snapshot
parent	8dbc676367c5e63c1ebcabd00556497cf6f04fd7	commit \| diff

New version (to be tested).

43 files changed:

mainActivity/AndroidManifest.xml		diff \| blob \| history
mainActivity/res/menu/my.xml		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/BorderedTextView.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/CopyPasteDialog.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/DialogTouchHandler.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/DrawActivity.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/EliminationRule.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/Formula.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaAnd.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaBOT.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaImpl.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaNot.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaOr.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/FormulaTOP.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/GenericFormula.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/Hypothesis.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/IntroductionRule.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/Literal.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/LongHPClick.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/MD5.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/Node.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleAndElimination.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleBotElimination.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleDialog.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleImplElimination.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleIntroduction.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleNotElimination.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/RuleOrElimination.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/TwoDScrollView.java	[deleted file]	blob \| history
mainActivity/src/com/example/furt/myapplication/UndefinedFormula.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/aggiorna.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/aggiornamento.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/askFormula.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/download_page.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/longnodeHandler.java	[new file with mode: 0644]	blob
mainActivity/src/com/example/furt/myapplication/mainActivity.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/parserDialog.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/recuperaPass.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/serverComunication.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/touchHPHandler.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/touchParserHandler.java		diff \| blob \| history
mainActivity/src/com/example/furt/myapplication/touchRuleHandler.java	[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.

RSS Atom