Tue, 06 Aug 2013 22:02:20 +0200 | wenzelm | support for query operations that consist of parallel segments; | changeset | files |
Tue, 06 Aug 2013 21:41:24 +0200 | wenzelm | more tooltips; | changeset | files |
Tue, 06 Aug 2013 21:34:58 +0200 | wenzelm | tuned -- more explicit type Status.Value; | changeset | files |
Tue, 06 Aug 2013 21:08:04 +0200 | wenzelm | more explicit status for query operation; | changeset | files |