# -*- shell-script -*- :mode=shellscript:

ISABELLE_FLATLAF_HOME="$COMPONENT"

classpath "$ISABELLE_FLATLAF_HOME/lib/flatlaf-3.7.2-no-natives.jar:$ISABELLE_FLATLAF_HOME/lib/flatlaf-extras-3.7.2.jar"

isabelle_scala_service "isabelle.FlatLafs"
