1.1 --- a/Admin/mira.py	Fri Aug 17 19:07:14 2012 +0200
     1.2 +++ b/Admin/mira.py	Fri Aug 17 19:08:55 2012 +0200
     1.3 @@ -39,7 +39,9 @@
     1.4  
     1.5  Z3_NON_COMMERCIAL="yes"
     1.6  
     1.7 -source "${ISABELLE_HOME}/Admin/init_components"
     1.8 +init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/main"
     1.9 +init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/optional"
    1.10 +init_components "$COMPONENT/contrib" "$ISABELLE_HOME/Admin/components/nonfree"
    1.11  
    1.12  ''' + more_settings
    1.13