History polymake-format.patch