equal
deleted
inserted
replaced
15 Isabelle2017 yet (using the "isabelle imports" tool). |
15 Isabelle2017 yet (using the "isabelle imports" tool). |
16 |
16 |
17 * Command 'external_file' declares the formal dependency on the given |
17 * Command 'external_file' declares the formal dependency on the given |
18 file name, such that the Isabelle build process knows about it, but |
18 file name, such that the Isabelle build process knows about it, but |
19 without specific Prover IDE management. |
19 without specific Prover IDE management. |
|
20 |
|
21 * Session ROOT entries no longer allow specification of 'files'. Rare |
|
22 INCOMPATIBILITY, use command 'external_file' within a proper theory |
|
23 context. |
20 |
24 |
21 |
25 |
22 *** HOL *** |
26 *** HOL *** |
23 |
27 |
24 * SMT module: |
28 * SMT module: |