equal
deleted
inserted
replaced
2 ================================================= |
2 ================================================= |
3 |
3 |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in Isabelle2020 (April 2020) |
8 ---------------------------- |
8 -------------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
12 * Session ROOT files need to specify explicit 'directories' for import |
12 * Session ROOT files need to specify explicit 'directories' for import |
13 of theory files. Directories cannot be shared by different sessions. |
13 of theory files. Directories cannot be shared by different sessions. |