| Wed, 25 Aug 2010 22:37:53 +0200 | wenzelm | organized markup properties via apply/unapply patterns; | file | diff | annotate |
| Wed, 25 Aug 2010 18:19:04 +0200 | wenzelm | more precise Command.State accumulation; | file | diff | annotate |
| Tue, 24 Aug 2010 20:36:48 +0200 | wenzelm | tuned root markup; | file | diff | annotate |
| Mon, 23 Aug 2010 16:13:13 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Aug 2010 20:11:17 +0200 | wenzelm | simplified Command.status again, reverting most of e5eed57913d0 (note that more complex information can be represented with full markup reports); | file | diff | annotate |
| Sun, 22 Aug 2010 19:53:20 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 22 Aug 2010 18:46:16 +0200 | wenzelm | renamed Markup_Tree.Node to Text.Info; | file | diff | annotate |