NEWS
changeset 56879 ee2b61f37ad9
parent 56851 35ff4ede3409
child 56889 48a745e1bde7
     1.1 --- a/NEWS	Tue May 06 16:41:24 2014 +0200
     1.2 +++ b/NEWS	Tue May 06 16:57:17 2014 +0200
     1.3 @@ -112,8 +112,10 @@
     1.4  * Document panel: simplied interaction where every single mouse click
     1.5  (re)opens document via desktop environment or as jEdit buffer.
     1.6  
     1.7 -* Find panel: support for 'find_consts' in addition to
     1.8 -'find_theorems'.
     1.9 +* More general "Query" panel supersedes "Find" panel, with GUI access
    1.10 +to commands 'find_theorems' and 'find_consts', as well as print
    1.11 +operations for the context.  Minor incompatibility in keyboard
    1.12 +shortcuts etc.: replace action isabelle-find by isabelle-query.
    1.13  
    1.14  * Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
    1.15  General") allows to specify additional print modes for the prover