changeset 68154 | 42d63ea39161 |
parent 68090 | 7c8ed28dd40a |
child 68839 | d8251a61cce8 |
--- a/src/Pure/ROOT.ML Fri May 11 22:40:02 2018 +0200 +++ b/src/Pure/ROOT.ML Fri May 11 22:59:00 2018 +0200 @@ -303,6 +303,7 @@ ML_file "Thy/export.ML"; ML_file "Thy/present.ML"; ML_file "Thy/thy_info.ML"; +ML_file "Thy/export_theory.ML"; ML_file "Thy/sessions.ML"; ML_file "PIDE/session.ML"; ML_file "PIDE/protocol_message.ML";