| Tue, 01 Apr 2014 23:04:22 +0200 | wenzelm | tuned for-comprehensions -- less structure mapping; | changeset | files |
| Tue, 01 Apr 2014 22:25:01 +0200 | wenzelm | some rephrasing to ensure that this becomes cheap "foreach" and not expensive "map" (cf. 0fc032898b05); | changeset | files |
| Tue, 01 Apr 2014 20:22:25 +0200 | wenzelm | more direct command states -- merge_results is hardly ever needed; | changeset | files |
| Tue, 01 Apr 2014 17:29:47 +0200 | wenzelm | unused; | changeset | files |
| Tue, 01 Apr 2014 17:26:32 +0200 | wenzelm | more frugal command_status, which is often used in a tight loop; | changeset | files |
| Tue, 01 Apr 2014 16:16:25 +0200 | wenzelm | simplified using "value class"; | changeset | files |