| 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 |
| Wed, 26 Jun 2013 09:58:39 +0200 | wenzelm | more position information for markup; | changeset | files |
| Wed, 26 Jun 2013 18:26:00 +0200 | smolkas | tuned: cleaned up data structure | changeset | files |