| Thu, 27 Mar 2014 11:19:31 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 27 Mar 2014 10:43:43 +0100 | wenzelm | more careful treatment of multiple command states (eval + prints): merge content that is actually required; | file | diff | annotate |
| Sat, 01 Mar 2014 12:07:26 +0100 | wenzelm | tuned signature -- more explicit Document.Elements; | file | diff | annotate |
| Fri, 21 Feb 2014 16:14:35 +0100 | wenzelm | eliminated somewhat pointless elements index (see also f793dd5d84b2, 2b7fed8c9c4ac): less memory and more speed (avoid linear "exists" of 19dffae33cde); | file | diff | annotate |
| Fri, 21 Feb 2014 12:07:38 +0100 | wenzelm | tuned -- remaining rev_markup is rather short after filter; | file | diff | annotate |
| Thu, 20 Feb 2014 16:56:51 +0100 | wenzelm | clarified markup cumulation order (see also 25306d92f4ad and 0009a6ebc83b), e.g. relevant for completion_context; | file | diff | annotate |