Admin/polyml/future/run

tuned messages;

+
−#!/bin/bash
+
−
+
−POLY="${1:-poly}"
+
−
+
−THIS="$(cd $(dirname "$0"); pwd)"
+
−
+
−cd "$THIS/../../../src/Pure"
+
−echo "use \"../../Admin/polyml/future/ROOT.ML\";"
+
−exec "$POLY"
+
−