src/Tools/jEdit/etc/settings
author desharna
Sun, 16 Jan 2022 21:41:16 +0100
changeset 74984 192876ea202d
parent 73987 fc363a3b690a
permissions -rw-r--r--
proper treatment of $let variables in symbol table in Sledgehammer

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

ISABELLE_JEDIT_OPTIONS=""
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"