Closed GoogleCodeExporter closed 9 years ago
I've pushed a bunch of patches (marked issue 77) that solve the problem in a
slightly different way: refinements always create subgoals at the top of the
current development, and re-abstract over any parameters within it. This means
relabelling really works properly (it changes the name advice in the
programming problem display) and the context expansion problem is kept under
control.
Original comment by adamgundry
on 13 Sep 2010 at 8:14
Original issue reported on code.google.com by
adamgundry
on 3 Sep 2010 at 3:22