changeset 60491 | 045784ce9f33 |
parent 60465 | 51ed5cb9c1c1 |
child 60509 | 2e0b7ca391dc |
1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Tue Jul 26 21:29:14 2022 +0200 1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Tue Jul 26 22:01:40 2022 +0200 1.3 @@ -82,6 +82,7 @@ 1.4 (*"$ISABELLE_ISAC/Knowledge/GCD_Poly_FP" (*not imported by Isac.thy*) Test_Isac_Short*) 1.5 (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*) 1.6 ( **) 1.7 + "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/Test_VSCode_Example" 1.8 1.9 begin 1.10