equal
deleted
inserted
replaced
384 - A new SML-based learning engine eliminates the dependency on Python |
384 - A new SML-based learning engine eliminates the dependency on Python |
385 and increases performance and reliability. |
385 and increases performance and reliability. |
386 - Activation of MaSh now works via the "mash" system option (without |
386 - Activation of MaSh now works via the "mash" system option (without |
387 requiring restart), instead of former settings variable "MASH". |
387 requiring restart), instead of former settings variable "MASH". |
388 The option can be edited in Isabelle/jEdit menu Plugin |
388 The option can be edited in Isabelle/jEdit menu Plugin |
389 Options / Isabelle / General. Allowed values include "sml" (for the new |
389 Options / Isabelle / General. Allowed values include "sml" (for the |
390 SML engine), "py" (for the Python engine), and "no". |
390 default SML engine), "py" (for the old Python engine), and "none". |
391 - New option: |
391 - New option: |
392 smt_proofs |
392 smt_proofs |
393 - Renamed options: |
393 - Renamed options: |
394 isar_compress ~> compress_isar |
394 isar_compress ~> compress_isar |
395 isar_try0 ~> try0_isar |
395 isar_try0 ~> try0_isar |