| changeset 71736 | a2afc7ed2c68 |
| parent 71733 | 6c470c918aad |
| child 71790 | 97fc4f657bda |
--- a/etc/settings Wed Apr 08 14:09:32 2020 +0200 +++ b/etc/settings Wed Apr 08 14:25:28 2020 +0200 @@ -20,8 +20,8 @@ classpath "$ISABELLE_HOME/lib/classes/Pure.jar" -isabelle_scala_tools 'isabelle.Tools' -[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools' +isabelle_scala_service 'isabelle.Tools' +[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools' isabelle_scala_service 'isabelle.Bibtex$File_Format'