equal
deleted
inserted
replaced
325 subsection "Isabelle/Isar system"; |
325 subsection "Isabelle/Isar system"; |
326 |
326 |
327 ML_file "System/command_line.ML"; |
327 ML_file "System/command_line.ML"; |
328 ML_file "System/message_channel.ML"; |
328 ML_file "System/message_channel.ML"; |
329 ML_file "System/isabelle_process.ML"; |
329 ML_file "System/isabelle_process.ML"; |
330 ML_file "System/invoke_scala.ML"; |
330 ML_file "System/scala.ML"; |
331 ML_file "Thy/bibtex.ML"; |
331 ML_file "Thy/bibtex.ML"; |
332 ML_file "PIDE/protocol.ML"; |
332 ML_file "PIDE/protocol.ML"; |
333 ML_file "General/output_primitives_virtual.ML"; |
333 ML_file "General/output_primitives_virtual.ML"; |
334 |
334 |
335 |
335 |