changeset 62930 | 51ac6bc389e8 |
parent 62923 | 3a122e1e352a |
child 62937 | d5e7a76ec1a6 |
--- a/src/Pure/ROOT.ML Sat Apr 09 14:52:10 2016 +0200 +++ b/src/Pure/ROOT.ML Sat Apr 09 16:16:05 2016 +0200 @@ -301,6 +301,7 @@ ML_file "System/isabelle_process.ML"; ML_file "System/invoke_scala.ML"; ML_file "PIDE/protocol.ML"; +ML_file "General/output_primitives_virtual.ML"; subsection "Miscellaneous tools and packages for Pure Isabelle";