| Thu, 26 Jul 2012 12:59:09 +0200 | wenzelm | remove old output heaps, to ensure that result is valid wrt. check_stamps; | changeset | files |
| Thu, 26 Jul 2012 12:32:25 +0200 | wenzelm | proper imports; | changeset | files |
| Thu, 26 Jul 2012 12:27:47 +0200 | wenzelm | support session groups; | changeset | files |
| Thu, 26 Jul 2012 11:52:08 +0200 | wenzelm | discontinued slightly odd session order, which did not quite work out; | changeset | files |
| Thu, 26 Jul 2012 11:46:30 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 25 Jul 2012 23:02:50 +0200 | wenzelm | avoid clash of Advanced/simp.thy vs. Misc/simp.thy; | changeset | files |
| Wed, 25 Jul 2012 22:30:18 +0200 | wenzelm | tuned signature; | changeset | files |