equal
deleted
inserted
replaced
120 * Session HOL-Library: The suffix _numerals has been removed from the |
120 * Session HOL-Library: The suffix _numerals has been removed from the |
121 name of the simprocs on multisets. INCOMPATIBILITY. |
121 name of the simprocs on multisets. INCOMPATIBILITY. |
122 |
122 |
123 |
123 |
124 *** System *** |
124 *** System *** |
|
125 |
|
126 * Option parallel_proofs is 1 by default (instead of more aggressive 2). |
|
127 This requires less heap space and avoids burning parallel CPU cycles, |
|
128 while full subproof parallelization is enabled for repeated builds |
|
129 (according to parallel_subproofs_threshold). |
125 |
130 |
126 * Prover IDE support for the Visual Studio Code editor and language |
131 * Prover IDE support for the Visual Studio Code editor and language |
127 server protocol, via the "isabelle vscode_server" tool (see also |
132 server protocol, via the "isabelle vscode_server" tool (see also |
128 src/Tools/VSCode/README.md). The example application within the VS code |
133 src/Tools/VSCode/README.md). The example application within the VS code |
129 editor is called "Isabelle" and available from its online repository |
134 editor is called "Isabelle" and available from its online repository |