| Tue, 06 Aug 2013 21:34:58 +0200 | wenzelm | tuned -- more explicit type Status.Value; | file | diff | annotate |
| Tue, 06 Aug 2013 21:08:04 +0200 | wenzelm | more explicit status for query operation; | file | diff | annotate |
| Tue, 06 Aug 2013 17:30:09 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 05 Aug 2013 23:57:29 +0200 | wenzelm | query process animation; | file | diff | annotate |
| Mon, 05 Aug 2013 17:14:02 +0200 | wenzelm | slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay; | file | diff | annotate |