slavapestov/factor — pull request #923 by bjourne (2013-07-31 16:41:59+00:00)
Title: Pretty print html vectors

These commits fixes the `prettyprint-html` word which did use to throw an exception.