Wed, 01 Apr 2020 12:56:19 +0200 | wenzelm | proper context for loading Pure; | changeset | files |
Tue, 31 Mar 2020 22:27:02 +0200 | wenzelm | clarified signature of ML_Process vs. Isabelle_Process: proper support for "isabelle build -P -b"; | changeset | files |
Tue, 31 Mar 2020 14:40:56 +0200 | wenzelm | close socket explicitly (idempotent); | changeset | files |