1 files changed, 16 insertions, 0 deletions
diff --git a/app/flint/0.4/src/flint.manager b/app/flint/0.4/src/flint.manager
new file mode 100644
index 0000000..610d70f
--- /dev/null
+++ b/app/flint/0.4/src/flint.manager
@@ -0,0 +1,16 @@
+PACKET flint manager                        (* Autor: Thomas Berlage *)
+                                            (* Stand: 15.01.88       *) 
+  DEFINES
+
+  continue :
+
+
+PROC continue (TASK CONST t) :
+
+  continue (t,
+    PROC (DATASPACE VAR, INT CONST, INT CONST, TASK CONST) eudas manager)
+
+END PROC continue;
+
+END PACKET flint manager;
+