app/flint/0.4/src/flint.manager


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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;