diff -r cd7854f2636d -r 02a9b2540eb7 test/Tools/isac/ProgLang/ptyps.sml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/Tools/isac/ProgLang/ptyps.sml	Fri Oct 01 10:23:38 2010 +0200
@@ -0,0 +1,20 @@
+(* Title: tests for Interpret/ptyps.sml
+   Author: Walther Neuper 100930
+   (c) copyright due to lincense terms.
+
+12345678901234567890123456789012345678901234567890123456789012345678901234567890
+        10        20        30        40        50        60        70        80
+*)
+"--------------------------------------------------------";
+"table of contents --------------------------------------";
+"--------------------------------------------------------";
+"----------- fun ----------------------------------------";
+"--------------------------------------------------------";
+"--------------------------------------------------------";
+"--------------------------------------------------------";
+
+(*========== inhibit exn =======================================================
+============ inhibit exn =====================================================*)
+
+(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
+-.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)