equal
deleted
inserted
replaced
54 |
54 |
55 The Isabelle/ML function ML_Env.setup defines new ML environments. This |
55 The Isabelle/ML function ML_Env.setup defines new ML environments. This |
56 is useful to incorporate big SML projects in an isolated name space, and |
56 is useful to incorporate big SML projects in an isolated name space, and |
57 potentially with variations on ML syntax (existing ML_Env.SML_operations |
57 potentially with variations on ML syntax (existing ML_Env.SML_operations |
58 observes the official standard). |
58 observes the official standard). |
|
59 |
|
60 |
|
61 *** System *** |
|
62 |
|
63 * Isabelle Server message "use_theories" terminates more robustly in the |
|
64 presence of structurally broken sources: full consolidation of theories |
|
65 is no longer required. |
|
66 |
59 |
67 |
60 |
68 |
61 New in Isabelle2018 (August 2018) |
69 New in Isabelle2018 (August 2018) |
62 --------------------------------- |
70 --------------------------------- |
63 |
71 |