NEWS
changeset 56761 951c6a9ac3d7
parent 56652 b0126a5a256d
child 56762 539fe017905a
     1.1 --- a/NEWS	Sat Apr 26 22:43:22 2014 +0200
     1.2 +++ b/NEWS	Sat Apr 26 22:51:21 2014 +0200
     1.3 @@ -109,6 +109,9 @@
     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 +
    1.10  * Option "jedit_print_mode" (see also "Plugin Options / Isabelle /
    1.11  General") allows to specify additional print modes for the prover
    1.12  process, without requiring old-fashioned command-line invocation of