On Fri, 5 Sep 2014, Christian Sternagel wrote:
I forgot to check the NEWS ;)
Just another advertisement of the "IDE" for the NEWS file, with the change
from 3 days ago:
changeset: 58542:19e062fbfea0
user: wenzelm
date: Sun Oct 05 13:16:24 2014 +0200
files: src/Tools/jEdit/src/Isabelle.props
src/Tools/jEdit/src/isabelle_sidekick.scala
description:
more advanced NEWS tree structure and folding;
This makes it easy to use Sidekick to navigate to the intended "fold",
e.g. all of section "Isabelle2014" or one of its subsections.
Then use "Folding / Select Fold" (action "select-fold"),
then regular "Search / Find" with "Search in: Selection".
Thus the daunting agglomerate of NEWS gets some structure ...
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
