Sat, 15 Dec 2012 12:55:11 +0100 | wenzelm | explicit text_fold markup, which is used by default in Pretty.chunks/chunks2; | changeset | files |
Sat, 15 Dec 2012 12:54:14 +0100 | wenzelm | updated README; | changeset | files |
Sat, 15 Dec 2012 12:28:37 +0100 | wenzelm | fold main goal; | changeset | files |