equal
deleted
inserted
replaced
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * Old-style {* verbatim *} tokens have been discontinued (legacy feature |
12 * Old-style {* verbatim *} tokens have been discontinued (legacy feature |
13 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead. |
13 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead. |
|
14 |
|
15 |
|
16 *** Isabelle/VSCode Prover IDE *** |
|
17 |
|
18 * Command-line tools "isabelle vscode_setup" and "isabelle vscode" |
|
19 provide convenient access to a well-defined version of VSCodium |
|
20 (open-source distribution of VSCode without MS telemetry). |
14 |
21 |
15 |
22 |
16 *** HOL *** |
23 *** HOL *** |
17 |
24 |
18 * Rule split_of_bool_asm is not split any longer, analogously to |
25 * Rule split_of_bool_asm is not split any longer, analogously to |