equal
deleted
inserted
replaced
110 auxiliary ML files. |
110 auxiliary ML files. |
111 |
111 |
112 * Document panel: simplied interaction where every single mouse click |
112 * Document panel: simplied interaction where every single mouse click |
113 (re)opens document via desktop environment or as jEdit buffer. |
113 (re)opens document via desktop environment or as jEdit buffer. |
114 |
114 |
115 * Find panel: support for 'find_consts' in addition to |
115 * More general "Query" panel supersedes "Find" panel, with GUI access |
116 'find_theorems'. |
116 to commands 'find_theorems' and 'find_consts', as well as print |
|
117 operations for the context. Minor incompatibility in keyboard |
|
118 shortcuts etc.: replace action isabelle-find by isabelle-query. |
117 |
119 |
118 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
120 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
119 General") allows to specify additional print modes for the prover |
121 General") allows to specify additional print modes for the prover |
120 process, without requiring old-fashioned command-line invocation of |
122 process, without requiring old-fashioned command-line invocation of |
121 "isabelle jedit -m MODE". |
123 "isabelle jedit -m MODE". |