| 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 |
| Wed, 12 Apr 2017 23:08:24 +0200 | wenzelm | more global theories; | changeset | files |
| Wed, 12 Apr 2017 22:47:21 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 12 Apr 2017 22:32:55 +0200 | wenzelm | clarified loaded_theories: map to qualified theory name; | changeset | files |
| Wed, 12 Apr 2017 21:13:43 +0200 | wenzelm | global session_base for PIDE interaction; | changeset | files |