changeset 72163 | f5722290a4d0 |
parent 72162 | 5894859c5c84 |
child 72193 | 742d94015918 |
--- a/etc/settings Mon Aug 17 13:16:42 2020 +0200 +++ b/etc/settings Mon Aug 17 16:26:58 2020 +0200 @@ -31,6 +31,7 @@ isabelle_scala_service 'isabelle.Scala$Handler' isabelle_scala_service 'isabelle.Print_Operation$Handler' isabelle_scala_service 'isabelle.Simplifier_Trace$Handler' +isabelle_scala_service 'isabelle.Server_Commands' #paranoia settings -- avoid intrusion of alien options unset "_JAVA_OPTIONS"