equal
deleted
inserted
replaced
13 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead. |
13 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead. |
14 |
14 |
15 |
15 |
16 *** Isabelle/VSCode Prover IDE *** |
16 *** Isabelle/VSCode Prover IDE *** |
17 |
17 |
18 * Command-line tools "isabelle vscode_setup" and "isabelle vscode" |
18 * VSCodium, an open-source distribution of VSCode without MS |
19 provide convenient access to a well-defined version of VSCodium |
19 telemetry, has been bundled with Isabelle as add-on component. The |
20 (open-source distribution of VSCode without MS telemetry). |
20 command-line tool "isabelle vscode" automatically configures it as |
|
21 Isabelle/VSCode and starts the application. |
|
22 |
|
23 * Command-line tools "isabelle electron" and "isabelle node" provide |
|
24 access to the underlying technologies of VSCodium, for use in other |
|
25 applications. This essentially provides a freely programmable Chromium |
|
26 browser engine that works uniformly on all platforms. |
21 |
27 |
22 |
28 |
23 *** HOL *** |
29 *** HOL *** |
24 |
30 |
25 * Rule split_of_bool_asm is not split any longer, analogously to |
31 * Rule split_of_bool_asm is not split any longer, analogously to |