+0.5.7 - .../12/2008 - PĂ doa release
+ * some core notation fixed to allow a better setoid-path
+ representation
+ * matita manual updated with a section regarding the usage of
+ the liveCD with the VirtualBox emulator
+ * liveCD fixed to allow to easily mount/unmount real host folders
+ * ttf-freefont package added to the liveCD together with gucharmap
+ * coercions from convertible types are not inserted for real, they
+ just behave as hints for the unification algorithm
+ * virtuals (eq classes) fixed w.r.t. greek letters
+ * some virtuals added to ease the writing of diamond (<>), box ([])
+ and upper bar (_).
+ * code that generates eliminators fixed to use whd ~delta set to true
+ when counting products, this allows to used definitions as inductive
+ type ariety.