![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- tuned interfaces
- tuned
| The file was modified | src/Pure/Isar/class.ML |
| The file was modified | src/Pure/Isar/class_declaration.ML |
| The file was modified | src/Pure/Isar/generic_target.ML |
| The file was modified | src/Pure/Isar/interpretation.ML |
| The file was modified | src/Pure/Isar/local_theory.ML |
| The file was modified | src/Pure/Isar/locale.ML |
| The file was modified | src/Pure/Isar/named_target.ML |
| The file was modified | src/Pure/Isar/overloading.ML |
| The file was modified | src/Pure/Isar/target_context.ML |
| The file was modified | src/Pure/Isar/toplevel.ML |
| The file was modified | src/Pure/Isar/bundle.ML |