equal
deleted
inserted
replaced
13 * Documents: more formal LaTeX citations. |
13 * Documents: more formal LaTeX citations. |
14 |
14 |
15 * HOL: various improvements of theory libraries, notably in HOL-Analysis. |
15 * HOL: various improvements of theory libraries, notably in HOL-Analysis. |
16 |
16 |
17 * HOL: updates and improvements of Sledgehammer. |
17 * HOL: updates and improvements of Sledgehammer. |
|
18 |
|
19 * ML: more robust support for ARM64 platform (native Apple Silicon). |
18 |
20 |
19 * ML: heap usage and stored heap size has been significantly reduced. |
21 * ML: heap usage and stored heap size has been significantly reduced. |
20 |
22 |
21 * ML: improved implementations of functor Table() and corresponding Set(). |
23 * ML: improved implementations of functor Table() and corresponding Set(). |
22 |
24 |