NEWS
changeset 66768 f27488f47a47
parent 66764 006deaf5c3dc
child 66789 feb36b73a7f0
     1.1 --- a/NEWS	Thu Oct 05 16:33:36 2017 +0200
     1.2 +++ b/NEWS	Thu Oct 05 17:37:47 2017 +0200
     1.3 @@ -30,6 +30,11 @@
     1.4    isabelle build -D '~~/src/ZF'
     1.5  
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* Completion supports theory header imports.
    1.10 +
    1.11 +
    1.12  *** HOL ***
    1.13  
    1.14  * SMT module: