| Thu, 13 Apr 2017 10:10:06 +0200 | haftmann | tuned | changeset | files |
| Thu, 13 Apr 2017 13:24:27 +0200 | wenzelm | merged | changeset | files |
| Thu, 13 Apr 2017 12:39:36 +0200 | wenzelm | clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console"; | changeset | files |
| Thu, 13 Apr 2017 12:27:57 +0200 | wenzelm | clarified directories; | changeset | files |
| Thu, 13 Apr 2017 12:19:28 +0200 | wenzelm | tuned signature (again); | changeset | files |
| Wed, 12 Apr 2017 23:44:33 +0200 | wenzelm | proper bootstrap base for building Pure; | changeset | files |
| Wed, 12 Apr 2017 23:35:42 +0200 | wenzelm | tuned according to Scala version; | changeset | files |