equal
deleted
inserted
replaced
26 |
26 |
27 val results = |
27 val results = |
28 Synchronized.var "Scala.results" (Symtab.empty: string Exn.result Symtab.table); |
28 Synchronized.var "Scala.results" (Symtab.empty: string Exn.result Symtab.table); |
29 |
29 |
30 val _ = |
30 val _ = |
31 Isabelle_Process.protocol_command "Scala.result" |
31 Protocol_Command.define "Scala.result" |
32 (fn [id, tag, res] => |
32 (fn [id, tag, res] => |
33 let |
33 let |
34 val result = |
34 val result = |
35 (case tag of |
35 (case tag of |
36 "0" => Exn.Exn Null |
36 "0" => Exn.Exn Null |