matita.cs.unibo.it Git - logicplayer.git/tree - mainActivity/src/com/example/furt/myapplication/

drwxr-xr-x		..
-rwxr-xr-x	984	Border.java	blob \| history \| raw
-rwxr-xr-x	2064	BorderedTextView.java	blob \| history \| raw
-rwxr-xr-x	1694	CopyPasteDialog.java	blob \| history \| raw
-rwxr-xr-x	1618	DialogTouchHandler.java	blob \| history \| raw
-rw-r--r--	13465	DrawActivity.java	blob \| history \| raw
-rwxr-xr-x	303	EliminationRule.java	blob \| history \| raw
-rwxr-xr-x	265	FView.java	blob \| history \| raw
-rwxr-xr-x	490	Formula.java	blob \| history \| raw
-rwxr-xr-x	2053	FormulaAnd.java	blob \| history \| raw
-rwxr-xr-x	1008	FormulaBOT.java	blob \| history \| raw
-rwxr-xr-x	2115	FormulaImpl.java	blob \| history \| raw
-rwxr-xr-x	1796	FormulaNot.java	blob \| history \| raw
-rwxr-xr-x	2321	FormulaOr.java	blob \| history \| raw
-rwxr-xr-x	830	FormulaTOP.java	blob \| history \| raw
-rwxr-xr-x	3001	GenericFormula.java	blob \| history \| raw
-rwxr-xr-x	436	Hypothesis.java	blob \| history \| raw
-rwxr-xr-x	147	IntroductionRule.java	blob \| history \| raw
-rwxr-xr-x	704	Literal.java	blob \| history \| raw
-rwxr-xr-x	737	LongHPClick.java	blob \| history \| raw
-rwxr-xr-x	1385	MD5.java	blob \| history \| raw
-rwxr-xr-x	5248	MyService.java	blob \| history \| raw
-rwxr-xr-x	18215	Node.java	blob \| history \| raw
-rwxr-xr-x	1286	RuleAndElimination.java	blob \| history \| raw
-rwxr-xr-x	546	RuleBotElimination.java	blob \| history \| raw
-rwxr-xr-x	7943	RuleDialog.java	blob \| history \| raw
-rwxr-xr-x	833	RuleImplElimination.java	blob \| history \| raw
-rwxr-xr-x	863	RuleIntroduction.java	blob \| history \| raw
-rwxr-xr-x	780	RuleNotElimination.java	blob \| history \| raw
-rwxr-xr-x	1021	RuleOrElimination.java	blob \| history \| raw
-rwxr-xr-x	1093	ServerData.java	blob \| history \| raw
-rwxr-xr-x	268	Tree.java	blob \| history \| raw
-rwxr-xr-x	1470	UndefinedFormula.java	blob \| history \| raw
-rwxr-xr-x	9629	aggiorna.java	blob \| history \| raw
-rwxr-xr-x	2029	aggiornamento.java	blob \| history \| raw
-rwxr-xr-x	228	askFormula.java	blob \| history \| raw
-rwxr-xr-x	4937	download_page.java	blob \| history \| raw
-rwxr-xr-x	355	global.java	blob \| history \| raw
-rwxr-xr-x	1022	listElem.java	blob \| history \| raw
-rw-r--r--	1030	longnodeHandler.java	blob \| history \| raw
-rwxr-xr-x	7810	mainActivity.java	blob \| history \| raw
-rwxr-xr-x	1076	operandClick.java	blob \| history \| raw
-rwxr-xr-x	11275	parser.java	blob \| history \| raw
-rwxr-xr-x	7035	parserDialog.java	blob \| history \| raw
-rwxr-xr-x	7029	personalDBHelper.java	blob \| history \| raw
-rwxr-xr-x	1850	personalTrackerContract.java	blob \| history \| raw
-rw-r--r--	2814	recuperaPass.java	blob \| history \| raw
-rwxr-xr-x	6937	serverComunication.java	blob \| history \| raw
-rwxr-xr-x	2552	suString.java	blob \| history \| raw
-rwxr-xr-x	3493	touchHPHandler.java	blob \| history \| raw
-rwxr-xr-x	3244	touchParserHandler.java	blob \| history \| raw
-rwxr-xr-x	7852	touchnodeHandler.java	blob \| history \| raw
-rw-r--r--	895	valutazione.java	blob \| history \| raw