changeset 60640 | c4f68c7bbbfc |
parent 60636 | be8a52bf330b |
child 60650 | 06ec8abfd3bc |
60639:b8bb7d8800e8 | 60640:c4f68c7bbbfc |
---|---|
84 ( **) |
84 ( **) |
85 "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/Test_VSCode_Example" |
85 "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/Test_VSCode_Example" |
86 |
86 |
87 begin |
87 begin |
88 |
88 |
89 declare [[ML_print_depth = 20]] |
89 declare [[ML_print_depth = 20]] (*otherwise buffer overflow*) |
90 |
90 |
91 ML \<open>open ML_System\<close> |
91 ML \<open>open ML_System\<close> |
92 ML \<open> |
92 ML \<open> |
93 open Kernel; |
93 open Kernel; |
94 open Math_Engine; |
94 open Math_Engine; |