equal
deleted
inserted
replaced
205 * Reorganized classes and locales for boolean algebras. INCOMPATIBILITY. |
205 * Reorganized classes and locales for boolean algebras. INCOMPATIBILITY. |
206 |
206 |
207 * New simp rules: less_exp, min.absorb1, min.absorb2, min.absorb3, |
207 * New simp rules: less_exp, min.absorb1, min.absorb2, min.absorb3, |
208 min.absorb4, max.absorb1, max.absorb2, max.absorb3, max.absorb4. Minor |
208 min.absorb4, max.absorb1, max.absorb2, max.absorb3, max.absorb4. Minor |
209 INCOMPATIBILITY. |
209 INCOMPATIBILITY. |
|
210 |
|
211 * The Mirabelle testing tool is now part of Main HOL, and accessible via |
|
212 the command-line tool "isabelle mirabelle" (implemented in |
|
213 Isabelle/Scala). It has become more robust and supports parallelism |
|
214 within Isabelle/ML. |
210 |
215 |
211 * Nitpick: External solver "MiniSat" is available for all supported |
216 * Nitpick: External solver "MiniSat" is available for all supported |
212 Isabelle platforms (including 64bit Windows and ARM); while |
217 Isabelle platforms (including 64bit Windows and ARM); while |
213 "MiniSat_JNI" only works for Intel Linux and macOS. |
218 "MiniSat_JNI" only works for Intel Linux and macOS. |
214 |
219 |