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

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

2015-10-19	Claudio Sacerdoti...	Ported to latest version of Android SDK	commit \| commitdiff \| tree
2014-12-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2014-12-16	Claudio Sacerdoti...	Timestamp on exercises.	commit \| commitdiff \| tree
2014-12-11	Claudio Sacerdoti...	Dirty hack to improve size computation for hypotheses.	commit \| commitdiff \| tree
2014-12-09	Claudio Sacerdoti...	New version (to be tested).	commit \| commitdiff \| tree
2014-12-09	Claudio Sacerdoti...	New version	commit \| commitdiff \| tree
2014-12-09	Claudio Sacerdoti...	The applet.	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.