| Mon, 24 Sep 2018 11:58:07 +0200 | wenzelm | tuned -- removed spurious dead code from 7b9a67cbd48f; | changeset | files |
| Mon, 24 Sep 2018 11:50:09 +0200 | wenzelm | tuned signature: canonical argument order; | changeset | files |
| Mon, 24 Sep 2018 11:45:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 23 Sep 2018 21:49:31 +0200 | wenzelm | discontinued old-style goal cases; | changeset | files |
| Sun, 23 Sep 2018 21:38:30 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 23 Sep 2018 20:33:35 +0200 | wenzelm | more robust: logic image might be absent in PIDE session; | changeset | files |
| Sun, 23 Sep 2018 19:59:53 +0200 | wenzelm | discontinued old-style inner comments; | changeset | files |
| Sun, 23 Sep 2018 19:59:32 +0200 | wenzelm | tuned; | changeset | files |