changeset 79049 | 10b6add456d0 |
parent 79013 | 4fb5e6499da9 |
child 79074 | 7f24c5be57bd |
--- a/src/Pure/ROOT.ML Fri Nov 24 14:11:01 2023 +0100 +++ b/src/Pure/ROOT.ML Fri Nov 24 15:58:24 2023 +0100 @@ -100,7 +100,6 @@ ML_file "PIDE/byte_message.ML"; ML_file "PIDE/protocol_message.ML"; ML_file "PIDE/document_id.ML"; -ML_file "General/socket_io.ML"; ML_file "General/graph.ML"; @@ -301,6 +300,7 @@ ML_file "Proof/extraction.ML"; (*Isabelle system*) +ML_file "General/socket_io.ML"; ML_file "PIDE/protocol_command.ML"; ML_file "System/java.ML"; ML_file "System/scala.ML";