changeset 59993 | 8f6cacc87f42 |
parent 57559 | 841f41710066 |
--- a/Admin/mira.py Thu Apr 09 22:53:26 2015 +0200 +++ b/Admin/mira.py Thu Apr 09 22:56:31 2015 +0200 @@ -24,7 +24,6 @@ # patch settings extra_settings = ''' -Z3_NON_COMMERCIAL="yes" init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional"