| changeset 72157 | d1ca82e27cbc |
| parent 72156 | 065dcd80293e |
| child 72162 | 5894859c5c84 |
--- a/etc/settings Sat Aug 15 13:37:34 2020 +0200 +++ b/etc/settings Sat Aug 15 13:45:25 2020 +0200 @@ -27,8 +27,8 @@ isabelle_scala_service 'isabelle.Bibtex$File_Format' -isabelle_scala_service 'isabelle.ML_Statistics$Protocol_Handler' -isabelle_scala_service 'isabelle.Scala' +isabelle_scala_service 'isabelle.ML_Statistics$Handler' +isabelle_scala_service 'isabelle.Scala$Handler' isabelle_scala_service 'isabelle.Print_Operation$Handler' isabelle_scala_service 'isabelle.Simplifier_Trace$Handler'