equal
deleted
inserted
replaced
2 ================================================= |
2 ================================================= |
3 |
3 |
4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in Isabelle2016 (February 2015) |
7 New in Isabelle2016 (February 2016) |
8 ----------------------------------- |
8 ----------------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * Former "xsymbols" syntax with Isabelle symbols is used by default, |
12 * Former "xsymbols" syntax with Isabelle symbols is used by default, |