[isabelle-dev] default cases rule

Makarius makarius at sketis.net
Wed Oct 8 22:02:09 CEST 2014


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
----------------------------------------------------------------------------


More information about the isabelle-dev mailing list