NEWS
changeset 66994 38fd865aae45
parent 66993 2c2a346cfe70
child 67013 335a7dce7cb3
     1.1 --- a/NEWS	Fri Nov 03 13:58:20 2017 +0100
     1.2 +++ b/NEWS	Fri Nov 03 14:14:17 2017 +0100
     1.3 @@ -38,7 +38,7 @@
     1.4  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.5  
     1.6  * Completion supports theory header imports, using theory base name.
     1.7 -E.g. "Prob" is completed to "HOL-Probability.Probability".
     1.8 +E.g. "Prob" may be completed to "HOL-Probability.Probability".
     1.9  
    1.10  * The command-line tool "isabelle jedit" provides more flexible options
    1.11  for session selection: