changeset 73263 | ad60214bef09 |
parent 73227 | 5cb4f7107add |
child 73264 | 440546ea20e6 |
--- a/src/Pure/ROOT.ML Sat Feb 20 21:38:23 2021 +0100 +++ b/src/Pure/ROOT.ML Sat Feb 20 22:09:16 2021 +0100 @@ -294,7 +294,6 @@ (*Isabelle system*) ML_file "PIDE/protocol_command.ML"; ML_file "System/scala.ML"; -ML_file "System/kill.ML"; ML_file "System/bash.ML"; ML_file "System/isabelle_system.ML";