etc/settings
changeset 27921 25818c7907f3
parent 27912 ffb69afdd4b4
child 28249 5440452371e9
equal deleted inserted replaced
27920:c1418834316d 27921:25818c7907f3
    73 ###
    73 ###
    74 
    74 
    75 ISABELLE_SCALA="scala"
    75 ISABELLE_SCALA="scala"
    76 ISABELLE_JAVA="java"
    76 ISABELLE_JAVA="java"
    77 
    77 
       
    78 [ -e "$ISABELLE_HOME/contrib/scala" ] && \
       
    79   classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar"
       
    80 
    78 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    81 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    79 
    82 
    80 
    83 
    81 ###
    84 ###
    82 ### Interactive sessions (cf. isatool tty)
    85 ### Interactive sessions (cf. isatool tty)