equal
deleted
inserted
replaced
13 printed as regular "writeln" message instead of "state": this follows |
13 printed as regular "writeln" message instead of "state": this follows |
14 toplevel results from Isabelle2023. The order of output messages has |
14 toplevel results from Isabelle2023. The order of output messages has |
15 been fine-tuned accordingly, to show results as "urgent" message before |
15 been fine-tuned accordingly, to show results as "urgent" message before |
16 state output (if enabled). This affects Isabelle/jEdit panels for Output |
16 state output (if enabled). This affects Isabelle/jEdit panels for Output |
17 vs. State in particular. |
17 vs. State in particular. |
|
18 |
|
19 |
|
20 *** Isabelle/jEdit Prover IDE *** |
|
21 |
|
22 * The command-line tool "isabelle jedit" now supports option "-o" as in |
|
23 "isabelle build", but it takes persistent preferences into account. When |
|
24 options are loaded, command-line options take precedence. When options |
|
25 are saved, command-line options are ignored, but original preferences |
|
26 take precedence. Example: |
|
27 |
|
28 isabelle jedit -o threads=1 |
|
29 |
|
30 This runs Isabelle/jEdit with sequential evaluation in ML, without |
|
31 affecting stored preferences of option "threads". |
18 |
32 |
19 |
33 |
20 *** HOL *** |
34 *** HOL *** |
21 |
35 |
22 * Theory "HOL.Fun": |
36 * Theory "HOL.Fun": |