History log of /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/conv.tex
Revision Date Author Comments
# 4f936e35 30-Aug-2014 Piotr Trojanek <piotr.trojanek@gmail.com>

underscore in BibTeX keys means trouble: do not use it
# 3848eebe 08-Feb-2014 unknown <masinido@vt-masinido.valueteam.com>

Minor corrections to the tutorial, and half translation of description.