equal
deleted
inserted
replaced
34 |
34 |
35 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
35 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
36 General") allows to specify additional print modes for the prover |
36 General") allows to specify additional print modes for the prover |
37 process, without requiring old-fashioned command-line invocation of |
37 process, without requiring old-fashioned command-line invocation of |
38 "isabelle jedit -m MODE". |
38 "isabelle jedit -m MODE". |
|
39 |
|
40 * New panel: Simplifier trace. Provides an interactive view of the |
|
41 simplification process, enabled by the newly-introduced |
|
42 "simplifier_trace" declaration. |
39 |
43 |
40 |
44 |
41 *** Pure *** |
45 *** Pure *** |
42 |
46 |
43 * Attributes "where" and "of" allow an optional context of local |
47 * Attributes "where" and "of" allow an optional context of local |