equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
|
6 |
|
7 *** General *** |
|
8 |
|
9 * Discontinued obsolete 'uses' within theory header. Note that |
|
10 commands like 'ML_file' work without separate declaration of file |
|
11 dependencies. Minor INCOMPATIBILITY. |
|
12 |
6 |
13 |
7 *** HOL *** |
14 *** HOL *** |
8 |
15 |
9 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since |
16 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since |
10 Isabelle2013). Use "isabelle build" to operate on Isabelle sessions. |
17 Isabelle2013). Use "isabelle build" to operate on Isabelle sessions. |