| Wed, 16 Mar 2016 13:47:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 16 Mar 2016 11:45:25 +0100 | wenzelm | less physical "logic" argument, with option -l like "isabelle console" etc.; | changeset | files |
| Tue, 15 Mar 2016 23:59:39 +0100 | wenzelm | find heaps uniformly via Sessions.Store; | changeset | files |