| changeset 59993 | 8f6cacc87f42 |
| parent 58415 | 8392d221bd91 |
| child 60194 | fd2208491d59 |
--- a/Admin/isatest/settings/mac-poly-M8 Thu Apr 09 22:53:26 2015 +0200 +++ b/Admin/isatest/settings/mac-poly-M8 Thu Apr 09 22:56:31 2015 +0200 @@ -35,6 +35,3 @@ ISABELLE_POLYML="$ML_HOME/poly" #ISABELLE_SCALA="$SCALA_HOME/bin" ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml" - -Z3_NON_COMMERCIAL="yes" -