equal
deleted
inserted
replaced
84 print_mode_active, PrintMode.setmp etc. INCOMPATIBILITY. |
84 print_mode_active, PrintMode.setmp etc. INCOMPATIBILITY. |
85 |
85 |
86 |
86 |
87 *** System *** |
87 *** System *** |
88 |
88 |
89 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here |
89 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- |
90 --- in accordance with Proof General 3.7, which prefers GNU emacs. |
90 in accordance with Proof General 3.7, which prefers GNU emacs. |
91 |
91 |
92 * Multithreading.max_threads := 0 refers to the number of actual CPU |
92 * Multithreading.max_threads := 0 refers to the number of actual CPU |
93 cores of the underlying machine, which is a good starting point for |
93 cores of the underlying machine, which is a good starting point for |
94 optimal performance tuning. The corresponding usedir option -M allows |
94 optimal performance tuning. The corresponding usedir option -M allows |
95 "max" as an alias for "0". WARNING: does not work on certain versions |
95 "max" as an alias for "0". WARNING: does not work on certain versions |