| Fri, 02 Aug 2013 14:26:09 +0200 | wenzelm | maintain overlays within node perspective; | file | diff | annotate |
| Sat, 13 Jul 2013 12:39:45 +0200 | wenzelm | full merge of Command.State, which enables Command.prints to augment markup as well (assuming that these dynamic overlays are relatively few); | file | diff | annotate |
| Fri, 05 Jul 2013 22:58:24 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 05 Jul 2013 22:09:16 +0200 | wenzelm | tuned signature -- eliminated pointless type synonym; | file | diff | annotate |
| Fri, 05 Jul 2013 16:01:45 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 05 Jul 2013 15:38:03 +0200 | wenzelm | explicit module Document_ID as source of globally unique identifiers across ML/Scala; | file | diff | annotate |
| Thu, 04 Jul 2013 23:51:47 +0200 | wenzelm | separate exec_id assignment for Command.print states, without affecting result of eval; | file | diff | annotate |