| Sat, 15 Dec 2012 14:26:37 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 15 Dec 2012 13:14:55 +0100 | wenzelm | clarified build_dialog command line; | changeset | files |
| 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 |
| Sat, 15 Dec 2012 12:16:16 +0100 | wenzelm | fold handling within Pretty_Text_Area, based on formal document content, which is static here; | changeset | files |
| Sat, 15 Dec 2012 12:01:07 +0100 | wenzelm | tuned signature; | changeset | files |