# HG changeset patch
# User wenzelm
# Date 1509714857 -3600
# Node ID 38fd865aae453ac19fcdb6b28f94353780ee3a7f
# Parent  2c2a346cfe7038a623e98a0ba2e8fb2ec400a754
tuned (non-unique example);

diff -r 2c2a346cfe70 -r 38fd865aae45 NEWS
--- a/NEWS	Fri Nov 03 13:58:20 2017 +0100
+++ b/NEWS	Fri Nov 03 14:14:17 2017 +0100
@@ -38,7 +38,7 @@
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Completion supports theory header imports, using theory base name.
-E.g. "Prob" is completed to "HOL-Probability.Probability".
+E.g. "Prob" may be completed to "HOL-Probability.Probability".
 
 * The command-line tool "isabelle jedit" provides more flexible options
 for session selection: