equal
deleted
inserted
replaced
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
6 |
6 |
7 *** General *** |
7 *** General *** |
|
8 |
|
9 * Theory loader: source files are identified by content via SHA1 |
|
10 digests. Discontinued former path/modtime identification and optional |
|
11 ISABELLE_FILE_IDENT plugin scripts. |
8 |
12 |
9 * Parallelization of nested Isar proofs is subject to |
13 * Parallelization of nested Isar proofs is subject to |
10 Goal.parallel_proofs_threshold (default 100). See also isabelle |
14 Goal.parallel_proofs_threshold (default 100). See also isabelle |
11 usedir option -Q. |
15 usedir option -Q. |
12 |
16 |