mn200/HOL — pull request #147 by domasin (2014-02-08 09:31:12+00:00)
Title: Minor corrections to the tutorial, and half translation of description.

Hello,

I've made some minor corrections to the italian translation of tutorial and pushed half translation
of description.

Kind Regards,
Domenico