NEWS
changeset 64602 8edca3465758
parent 64593 50c715579715
child 64603 a7f5e59378f7
     1.1 --- a/NEWS	Sun Dec 18 20:01:24 2016 +0100
     1.2 +++ b/NEWS	Sun Dec 18 21:58:13 2016 +0100
     1.3 @@ -6,6 +6,13 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** Prover IDE -- Isabelle/Scala/jEdit ***
     1.8 +
     1.9 +* Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
    1.10 +entry of the specified logic session in the editor, while its parent is
    1.11 +used for formal checking.
    1.12 +
    1.13 +
    1.14  *** HOL ***
    1.15  
    1.16  * Swapped orientation of congruence rules mod_add_left_eq,
    1.17 @@ -31,7 +38,7 @@
    1.18  
    1.19  * The theorem in Permutations has been renamed:
    1.20    bij_swap_ompose_bij ~> bij_swap_compose_bij
    1.21 - 
    1.22 +
    1.23  
    1.24  New in Isabelle2016-1 (December 2016)
    1.25  -------------------------------------
    1.26 @@ -92,6 +99,7 @@
    1.27  * Solve direct: option "solve_direct_strict_warnings" gives explicit
    1.28  warnings for lemma statements with trivial proofs.
    1.29  
    1.30 +
    1.31  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.32  
    1.33  * More aggressive flushing of machine-generated input, according to