equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
|
3 |
|
4 New in this Isabelle version |
|
5 ---------------------------- |
|
6 |
|
7 *** HOL *** |
|
8 |
|
9 * Reorganized theory Sum_Type.thy; Inl and Inr now have |
|
10 authentic syntax. INCOMPATIBILITY. |
|
11 |
|
12 * Code generation: ML and OCaml code is decorated with signatures. |
|
13 |
|
14 |
|
15 *** ML *** |
|
16 |
|
17 * Curried take and drop. INCOMPATIBILITY. |
|
18 |
3 |
19 |
4 New in Isabelle2009-1 (December 2009) |
20 New in Isabelle2009-1 (December 2009) |
5 ------------------------------------- |
21 ------------------------------------- |
6 |
22 |
7 *** General *** |
23 *** General *** |