equal
deleted
inserted
replaced
365 Plugin Options / Isabelle / General. |
365 Plugin Options / Isabelle / General. |
366 |
366 |
367 * Sledgehammer: |
367 * Sledgehammer: |
368 - Z3 can now produce Isar proofs. |
368 - Z3 can now produce Isar proofs. |
369 - MaSh overhaul: |
369 - MaSh overhaul: |
370 . New SML-based learning engines eliminate the dependency on |
370 . New SML-based learning algorithms eliminate the dependency on |
371 Python and increase performance and reliability. |
371 Python and increase performance and reliability. |
372 . MaSh and MeSh are now used by default together with the |
372 . MaSh and MeSh are now used by default together with the |
373 traditional MePo (Meng-Paulson) relevance filter. To disable |
373 traditional MePo (Meng-Paulson) relevance filter. To disable |
374 MaSh, set the "MaSh" system option in Isabelle/jEdit Plugin |
374 MaSh, set the "MaSh" system option in Isabelle/jEdit Plugin |
375 Options / Isabelle / General to "none". |
375 Options / Isabelle / General to "none". |