NEWS
changeset 56901 2f73ef9eb272
parent 56889 48a745e1bde7
child 56923 c062543d380e
equal deleted inserted replaced
56900:beea3ee118af 56901:2f73ef9eb272
   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".