equal
deleted
inserted
replaced
33 Option "show_states" is also the default for the configuration option |
33 Option "show_states" is also the default for the configuration option |
34 "show_results" within the formal context. |
34 "show_results" within the formal context. |
35 |
35 |
36 Note that printing intermediate states may cause considerable slowdown |
36 Note that printing intermediate states may cause considerable slowdown |
37 in building a session. |
37 in building a session. |
|
38 |
|
39 |
|
40 *** Isabelle/jEdit Prover IDE *** |
|
41 |
|
42 * Command 'print_state' outputs a plain message ("writeln" instead of |
|
43 "state"). Thus it is displayed in the Output panel, even if the option |
|
44 "editor_output_state" is disabled. |
38 |
45 |
39 |
46 |
40 *** Isabelle/VSCode Prover IDE *** |
47 *** Isabelle/VSCode Prover IDE *** |
41 |
48 |
42 * VSCodium, an open-source distribution of VSCode without MS telemetry, |
49 * VSCodium, an open-source distribution of VSCode without MS telemetry, |