tuned;
authorwenzelm
Sat Dec 16 22:32:04 2017 +0100 (17 months ago)
changeset 6722162a5fbdded50
parent 67220 0049bed35f5a
child 67222 19809bc9d7ff
tuned;
NEWS
     1.1 --- a/NEWS	Sat Dec 16 22:20:06 2017 +0100
     1.2 +++ b/NEWS	Sat Dec 16 22:32:04 2017 +0100
     1.3 @@ -44,7 +44,8 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 -* PIDE markup for session ROOT files.
     1.8 +* PIDE markup for session ROOT files: allows to complete session names,
     1.9 +follow links to theories and document files etc.
    1.10  
    1.11  * Completion supports theory header imports, using theory base name.
    1.12  E.g. "Prob" may be completed to "HOL-Probability.Probability".