| Mon, 11 Jan 2010 20:50:03 +0100 | wenzelm | Text_Edit.toString; | file | diff | annotate |
| Mon, 11 Jan 2010 18:24:22 +0100 | wenzelm | simplified Text_Edit -- deflated class hierarchy; | file | diff | annotate |
| Sun, 10 Jan 2010 23:16:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 06 Jan 2010 23:18:44 +0100 | wenzelm | more text edit operations; | file | diff | annotate |
| Tue, 05 Jan 2010 18:20:18 +0100 | wenzelm | Basic edits on plain text. | file | diff | annotate |