TFL/sys.sml
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3353 9112a2efb9a3
equal deleted inserted replaced
3301:cdcc4d5602b6 3302:404fe31fd8d2
     1 (* Compile the TFL system *)
     1 (*  Title:      TFL/mask
       
     2     ID:         $Id$
       
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
       
     4     Copyright   1997  University of Cambridge
       
     5 
       
     6 Compile the TFL system
       
     7 *)
     2 
     8 
     3 (* Portability stuff *)
     9 (* Portability stuff *)
     4 nonfix prefix;
    10 nonfix prefix;
     5 use"mask.sig";
    11 use"mask.sig";
     6 use"mask.sml";
    12 use"mask.sml";