src/Pure/ML-Systems/polyml-4.1.3.ML
author wenzelm
Thu, 09 Aug 2007 23:53:50 +0200
changeset 24208 f4cafbaa05e4
parent 23139 aa899bce7c3b
child 26215 94d32a7cd0fb
permissions -rw-r--r--
schedule: more precise task model; improved error handling: first failure causes interrupt of all threads; misc cleanup;

(*  Title:      Pure/ML-Systems/polyml-4.1.3.ML
    ID:         $Id$

Compatibility wrapper for Poly/ML 4.1.3.
*)

use "ML-Systems/polyml-old-basis.ML";
use "ML-Systems/polyml.ML";