Thu, 27 Jun 2013 10:08:41 +0200 | wenzelm | more scalable PARALLEL_GOALS, using more elementary retrofit; | changeset | files |
Thu, 27 Jun 2013 10:11:11 +0200 | nipkow | tuned | changeset | files |
Wed, 26 Jun 2013 22:18:06 +0200 | wenzelm | merged | changeset | files |
Wed, 26 Jun 2013 21:48:23 +0200 | wenzelm | less intrusive SELECT_GOAL: merely rearrange subgoals without detaching goal state, and thus preserve maxidx context; | changeset | files |
Wed, 26 Jun 2013 18:38:03 +0200 | wenzelm | SOMEthing went utterly wrong; | changeset | files |
Wed, 26 Jun 2013 11:54:45 +0200 | wenzelm | tuned signature; | changeset | files |