tree e1597a544d4ed53807bb71f78144d9f74240e9fb
parent 957933fc9846ff5d25e1838c1be01af1c2eae14f
author Till Westmann <westmann@gmail.com> 1394838065 -0700
committer Till Westmann <westmann@gmail.com> 1394838065 -0700

better pretty printing
- use prettyprinter from context to print intermediate plans