changeset 59993 | 8f6cacc87f42 |
parent 58415 | 8392d221bd91 |
child 60194 | fd2208491d59 |
59992:d8db5172c23f | 59993:8f6cacc87f42 |
---|---|
33 ISABELLE_OCAML=ocaml |
33 ISABELLE_OCAML=ocaml |
34 ISABELLE_OCAMLC=ocamlc |
34 ISABELLE_OCAMLC=ocamlc |
35 ISABELLE_POLYML="$ML_HOME/poly" |
35 ISABELLE_POLYML="$ML_HOME/poly" |
36 #ISABELLE_SCALA="$SCALA_HOME/bin" |
36 #ISABELLE_SCALA="$SCALA_HOME/bin" |
37 ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml" |
37 ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml" |
38 |
|
39 Z3_NON_COMMERCIAL="yes" |
|
40 |