Scheduling -- multiple threads working on a queue of tasks.
formerly in ML-Systems/multithreading_polyml.ML;
simplified -- less tracing;
use regular Isabelle/ML functions instead of NJ stuff;
$Id$
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in proper distributions.