changeset 72052 | 912f13865596 |
parent 72031 | b7cec26e41d1 |
child 72453 | e4dde7beab39 |
--- a/src/Pure/ROOT.ML Thu Jul 16 20:35:03 2020 +0200 +++ b/src/Pure/ROOT.ML Thu Jul 16 22:24:03 2020 +0200 @@ -239,6 +239,7 @@ ML_file "ML/ml_context.ML"; ML_file "ML/ml_antiquotation.ML"; ML_file "ML/ml_compiler2.ML"; +ML_file "ML/ml_pid.ML"; section "Bootstrap phase 3: towards theory Pure and final ML toplevel setup";