NEWS
changeset 41612 c15e7d36912a
parent 41603 54a4512e29a6
child 41667 b9357f56fd64
equal deleted inserted replaced
41610:9f99196ebd9f 41612:c15e7d36912a
     5 ----------------------------------
     5 ----------------------------------
     6 
     6 
     7 *** General ***
     7 *** General ***
     8 
     8 
     9 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see
     9 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see
    10 src/Tools/jEdit).  A bundled component provides "isabelle jedit" as
    10 src/Tools/jEdit).  This also serves as IDE for Isabelle/ML, with
    11 executable Isabelle tool.  Note that this also serves as IDE for
    11 useful tooltips and hyperlinks produced from its static analysis.  The
    12 Isabelle/ML, with useful tooltips and hyperlinks produced from its
    12 bundled component provides an executable Isabelle tool that can be run
    13 static analysis.
    13 like this:
       
    14 
       
    15   Isabelle2011/bin/isabelle jedit
    14 
    16 
    15 * Significantly improved Isabelle/Isar implementation manual.
    17 * Significantly improved Isabelle/Isar implementation manual.
    16 
    18 
    17 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER
    19 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER
    18 (and thus refers to something like $HOME/.isabelle/Isabelle2011),
    20 (and thus refers to something like $HOME/.isabelle/Isabelle2011),