NEWS
changeset 57650 17d7f5d96328
parent 57637 eeb2d50ec71f
child 57693 8ccc4875fe4f
equal deleted inserted replaced
57649:a43898f76ae9 57650:17d7f5d96328
    62 isar-ref, jedit, system.
    62 isar-ref, jedit, system.
    63 
    63 
    64 
    64 
    65 *** Prover IDE -- Isabelle/Scala/jEdit ***
    65 *** Prover IDE -- Isabelle/Scala/jEdit ***
    66 
    66 
    67 * Improved Document panel: simplied interaction where every single
    67 * Improved Document panel: simplified interaction where every single
    68 mouse click (re)opens document via desktop environment or as jEdit
    68 mouse click (re)opens document via desktop environment or as jEdit
    69 buffer.
    69 buffer.
    70 
    70 
    71 * Support for Navigator plugin (with toolbar buttons), with connection
    71 * Support for Navigator plugin (with toolbar buttons), with connection
    72 to PIDE hyperlinks.
    72 to PIDE hyperlinks.
   594     eq_assoc ~> iff_assoc
   594     eq_assoc ~> iff_assoc
   595     eq_left_commute ~> iff_left_commute
   595     eq_left_commute ~> iff_left_commute
   596 
   596 
   597 INCOMPATIBILITY.
   597 INCOMPATIBILITY.
   598 
   598 
   599 * Fact collections add_ac and mult_ac are considered old-fashined.
   599 * Fact collections add_ac and mult_ac are considered old-fashioned.
   600 Prefer ac_simps instead, or specify rules
   600 Prefer ac_simps instead, or specify rules
   601 (add|mult).(assoc|commute|left_commute) individually.
   601 (add|mult).(assoc|commute|left_commute) individually.
   602 
   602 
   603 * Elimination of fact duplicates:
   603 * Elimination of fact duplicates:
   604     equals_zero_I ~> minus_unique
   604     equals_zero_I ~> minus_unique
  1044 files are copied to the document output directory, before document
  1044 files are copied to the document output directory, before document
  1045 processing is started.
  1045 processing is started.
  1046 
  1046 
  1047 * Windows: support for regular TeX installation (e.g. MiKTeX) instead
  1047 * Windows: support for regular TeX installation (e.g. MiKTeX) instead
  1048 of TeX Live from Cygwin.
  1048 of TeX Live from Cygwin.
  1049 
       
  1050 
  1049 
  1051 
  1050 
  1052 New in Isabelle2013-2 (December 2013)
  1051 New in Isabelle2013-2 (December 2013)
  1053 -------------------------------------
  1052 -------------------------------------
  1054 
  1053