equal
deleted
inserted
replaced
292 ML_file "Proof/extraction.ML"; |
292 ML_file "Proof/extraction.ML"; |
293 |
293 |
294 (*Isabelle system*) |
294 (*Isabelle system*) |
295 ML_file "PIDE/protocol_command.ML"; |
295 ML_file "PIDE/protocol_command.ML"; |
296 ML_file "System/scala.ML"; |
296 ML_file "System/scala.ML"; |
|
297 ML_file "System/process_result.ML"; |
297 ML_file "System/isabelle_system.ML"; |
298 ML_file "System/isabelle_system.ML"; |
298 |
299 |
299 |
300 |
300 (*theory documents*) |
301 (*theory documents*) |
301 ML_file "Thy/term_style.ML"; |
302 ML_file "Thy/term_style.ML"; |