equal
deleted
inserted
replaced
150 management only; user-code should use print_mode_value, |
150 management only; user-code should use print_mode_value, |
151 print_mode_active, PrintMode.setmp etc. INCOMPATIBILITY. |
151 print_mode_active, PrintMode.setmp etc. INCOMPATIBILITY. |
152 |
152 |
153 |
153 |
154 *** System *** |
154 *** System *** |
|
155 |
|
156 * System: removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the |
|
157 documented way of changing the user's settings is via |
|
158 ISABELLE_HOME_USER/etc/settings, which is a fully featured bash |
|
159 script. |
155 |
160 |
156 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- |
161 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- |
157 in accordance with Proof General 3.7, which prefers GNU emacs. |
162 in accordance with Proof General 3.7, which prefers GNU emacs. |
158 |
163 |
159 * Multithreading.max_threads := 0 refers to the number of actual CPU |
164 * Multithreading.max_threads := 0 refers to the number of actual CPU |