equal
deleted
inserted
replaced
325 use "System/system_channel.ML"; |
325 use "System/system_channel.ML"; |
326 use "System/message_channel.ML"; |
326 use "System/message_channel.ML"; |
327 use "System/isabelle_process.ML"; |
327 use "System/isabelle_process.ML"; |
328 use "System/invoke_scala.ML"; |
328 use "System/invoke_scala.ML"; |
329 use "PIDE/protocol.ML"; |
329 use "PIDE/protocol.ML"; |
330 use "System/isar.ML"; |
|
331 |
330 |
332 |
331 |
333 (* miscellaneous tools and packages for Pure Isabelle *) |
332 (* miscellaneous tools and packages for Pure Isabelle *) |
334 |
333 |
335 use "Tools/build.ML"; |
334 use "Tools/build.ML"; |