| commit | aa9879d3718fe8bc1d62e8158f044d67eed8913b | [log] [tgz] |
|---|---|---|
| author | Till Westmann <westmann@gmail.com> | Fri Mar 14 16:01:05 2014 -0700 |
| committer | Till Westmann <westmann@gmail.com> | Fri Mar 14 16:01:05 2014 -0700 |
| tree | e1597a544d4ed53807bb71f78144d9f74240e9fb | |
| parent | 957933fc9846ff5d25e1838c1be01af1c2eae14f [diff] |
better pretty printing - use prettyprinter from context to print intermediate plans