equal
deleted
inserted
replaced
114 |
114 |
115 * More general "Query" panel supersedes "Find" panel, with GUI access |
115 * More general "Query" panel supersedes "Find" panel, with GUI access |
116 to commands 'find_theorems' and 'find_consts', as well as print |
116 to commands 'find_theorems' and 'find_consts', as well as print |
117 operations for the context. Minor incompatibility in keyboard |
117 operations for the context. Minor incompatibility in keyboard |
118 shortcuts etc.: replace action isabelle-find by isabelle-query. |
118 shortcuts etc.: replace action isabelle-find by isabelle-query. |
|
119 |
|
120 * Search field for all output panels ("Output", "Query", "Info" etc.) |
|
121 to highlight text via regular expression. |
119 |
122 |
120 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
123 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
121 General") allows to specify additional print modes for the prover |
124 General") allows to specify additional print modes for the prover |
122 process, without requiring old-fashioned command-line invocation of |
125 process, without requiring old-fashioned command-line invocation of |
123 "isabelle jedit -m MODE". |
126 "isabelle jedit -m MODE". |