Thu, 02 Nov 2017 11:47:32 +0100 | wenzelm | allow unrelated ancestor; | changeset | files |
Thu, 02 Nov 2017 11:26:58 +0100 | wenzelm | tuned; | changeset | files |
Thu, 02 Nov 2017 11:25:37 +0100 | wenzelm | support alternative ancestor session; | changeset | files |
Thu, 02 Nov 2017 10:16:22 +0100 | wenzelm | support focus_session, for much faster startup of Isabelle/jEdit; | changeset | files |
Wed, 01 Nov 2017 22:13:38 +0100 | wenzelm | more timing; | changeset | files |
Wed, 01 Nov 2017 21:21:09 +0100 | wenzelm | tuned; | changeset | files |
Wed, 01 Nov 2017 21:02:16 +0100 | wenzelm | init only once (see also c0f776b661fa); | changeset | files |