Thu, 27 Mar 2014 12:11:32 +0100 | wenzelm | more frugal merge of markup trees: filter wrt. subsequent query; | changeset | files |
Thu, 27 Mar 2014 11:19:31 +0100 | wenzelm | tuned signature; | changeset | files |
Thu, 27 Mar 2014 10:43:43 +0100 | wenzelm | more careful treatment of multiple command states (eval + prints): merge content that is actually required; | changeset | files |