Should simplify the sub-goals presented to the user #2

Open
braibant opened this Issue Feb 12, 2013 · 0 comments

Projects

None yet

1 participant

@braibant
Owner

The [diag] function is unfolded, but one should take care of performing some reduction in the goal that is displayed to the user.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment