changeset 60146 | aaef037414a1 |
parent 60126 | d41d42eada78 |
child 60182 | 9f927860d907 |
1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Sun Jan 17 13:16:25 2021 +0100 1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy Sun Jan 17 15:25:27 2021 +0100 1.3 @@ -287,6 +287,7 @@ 1.4 ... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*) 1.5 1.6 ML_file "BridgeJEdit/parseC.sml" 1.7 + ML_file "BridgeJEdit/preliminary.sml" 1.8 1.9 ML_file "Knowledge/delete.sml" 1.10 ML_file "Knowledge/descript.sml"