| changeset 72193 | 742d94015918 |
| parent 72163 | f5722290a4d0 |
| child 72309 | 564012e31db1 |
--- a/etc/settings Sat Aug 22 20:09:11 2020 +0200 +++ b/etc/settings Sat Aug 22 20:32:44 2020 +0200 @@ -23,7 +23,7 @@ isabelle_scala_service 'isabelle.Tools' [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools' -isabelle_scala_service 'isabelle.Functions' +isabelle_scala_service 'isabelle.Scala_Functions' isabelle_scala_service 'isabelle.Bibtex$File_Format'