equal
deleted
inserted
replaced
16 |
16 |
17 * Code generator improvements: support for statically embedded computations. |
17 * Code generator improvements: support for statically embedded computations. |
18 |
18 |
19 * Numerous HOL library improvements. |
19 * Numerous HOL library improvements. |
20 |
20 |
21 * More material in HOL-Algebra, and HOL-Analysis (ported from HOL-Light). |
21 * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis |
|
22 (ported from HOL-Light). |
|
23 |
|
24 * SQL database support in Isabelle/Scala. |
22 |
25 |
23 |
26 |
24 You may get Isabelle2017 from the following mirror sites: |
27 You may get Isabelle2017 from the following mirror sites: |
25 |
28 |
26 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |
29 Cambridge (UK) http://www.cl.cam.ac.uk/research/hvg/Isabelle |