equal
deleted
inserted
replaced
106 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |
106 * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for |
107 auxiliary ML files. |
107 auxiliary ML files. |
108 |
108 |
109 * Document panel: simplied interaction where every single mouse click |
109 * Document panel: simplied interaction where every single mouse click |
110 (re)opens document via desktop environment or as jEdit buffer. |
110 (re)opens document via desktop environment or as jEdit buffer. |
|
111 |
|
112 * Find panel: support for 'find_consts' in addition to |
|
113 'find_theorems'. |
111 |
114 |
112 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
115 * Option "jedit_print_mode" (see also "Plugin Options / Isabelle / |
113 General") allows to specify additional print modes for the prover |
116 General") allows to specify additional print modes for the prover |
114 process, without requiring old-fashioned command-line invocation of |
117 process, without requiring old-fashioned command-line invocation of |
115 "isabelle jedit -m MODE". |
118 "isabelle jedit -m MODE". |