[isabelle-dev] NEWS: improved folding

[Makarius]

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Improved folding mode "isabelle" based on Isar syntax.
Alternatively, the "sidekick" mode may be used for document structure.


This refers to Isabelle/6001375db251.  More things could be done, now that 
this old can is opened again.


 	Makarius

----------------------------------------------------------------------------
                               http://stop-ttip.org
----------------------------------------------------------------------------