src/Pure/System/build.ML
changeset 48731 a45ba78abcc1
parent 48681 181b91e1d1c1
child 48734 af91cd2301ba
equal deleted inserted replaced
48730:519b6e53179b 48731:a45ba78abcc1
     4 Build Isabelle sessions.
     4 Build Isabelle sessions.
     5 *)
     5 *)
     6 
     6 
     7 signature BUILD =
     7 signature BUILD =
     8 sig
     8 sig
     9   val build: string -> 'a
     9   val build: string -> unit
    10 end;
    10 end;
    11 
    11 
    12 structure Build: BUILD =
    12 structure Build: BUILD =
    13 struct
    13 struct
    14 
    14