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 method fastsimp / tactic fast_simp_tac, which |
|
10 is called fastforce / fast_force_tac already since Isabelle2011-1. |
|
11 |
6 |
12 |
7 |
13 |
8 New in Isabelle2012 (May 2012) |
14 New in Isabelle2012 (May 2012) |
9 ------------------------------ |
15 ------------------------------ |
10 |
16 |