Mizar.el -- Mizar Mode for Emacs --- IN ATTIC BECAUSE: upstream: unmaintained - View it on GitHub