1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Sun Jun 19 16:10:11 2022 +0200
1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Sun Jun 19 16:55:13 2022 +0200
1.3 @@ -275,6 +275,7 @@
1.4 ML_file "BridgeLibisabelle/interface.sml"
1.5 ML_file "BridgeJEdit/parseC.sml"
1.6 ML_file "BridgeJEdit/preliminary.sml"
1.7 + ML_file "BridgeJEdit/vscode-example.sml"
1.8
1.9 ML_file "Knowledge/delete.sml"
1.10 ML_file "Knowledge/descript.sml"
1.11 @@ -284,7 +285,7 @@
1.12 ML_file "Knowledge/gcd_poly_ml.sml"
1.13 ML_file "Knowledge/rational-1.sml"
1.14 (*ML_file "Knowledge/rational-2.sml" Test_Isac_Short*)
1.15 - ML_file "Knowledge/equation.sml"
1.16 +ML_file "Knowledge/equation.sml"
1.17 ML_file "Knowledge/root.sml"
1.18 ML_file "Knowledge/lineq.sml"
1.19