yup, Domp ist drin.

Hab eben btw in Zaphods Thread reingeschaut und auch gleich mal die aktuelle Version von Mizar (0.36) eingetragen.