equal
deleted
inserted
replaced
21 usedir_options='', more_settings=''): |
21 usedir_options='', more_settings=''): |
22 |
22 |
23 # patch settings |
23 # patch settings |
24 extra_settings = ''' |
24 extra_settings = ''' |
25 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user" |
25 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user" |
26 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
|
27 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
|
28 ISABELLE_PATH="$ISABELLE_OUTPUT" |
|
29 |
26 |
30 Z3_NON_COMMERCIAL="yes" |
27 Z3_NON_COMMERCIAL="yes" |
31 |
28 |
32 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
29 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
33 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional" |
30 init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional" |