equal
deleted
inserted
replaced
47 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
47 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
48 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
48 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
49 ISABELLE_PATH="%s" |
49 ISABELLE_PATH="%s" |
50 |
50 |
51 ISABELLE_USEDIR_OPTIONS="$ISABELLE_USEDIR_OPTIONS %s -t true -v true -d pdf -g true -i true" |
51 ISABELLE_USEDIR_OPTIONS="$ISABELLE_USEDIR_OPTIONS %s -t true -v true -d pdf -g true -i true" |
|
52 Z3_NON_COMMERCIAL="yes" |
52 ''' % (isabelle_path, parallelism_options) |
53 ''' % (isabelle_path, parallelism_options) |
53 |
54 |
54 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |
55 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |
55 writer.write(extra_settings) |
56 writer.write(extra_settings) |
56 writer.close() |
57 writer.close() |