![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Summary
- tuned interfaces
- tuned
| The file was modified | src/Pure/Isar/class.ML (diff) |
| The file was modified | src/Pure/Isar/class_declaration.ML (diff) |
| The file was modified | src/Pure/Isar/generic_target.ML (diff) |
| The file was modified | src/Pure/Isar/interpretation.ML (diff) |
| The file was modified | src/Pure/Isar/local_theory.ML (diff) |
| The file was modified | src/Pure/Isar/locale.ML (diff) |
| The file was modified | src/Pure/Isar/named_target.ML (diff) |
| The file was modified | src/Pure/Isar/overloading.ML (diff) |
| The file was modified | src/Pure/Isar/target_context.ML (diff) |
| The file was modified | src/Pure/Isar/toplevel.ML (diff) |
| The file was modified | src/Pure/Isar/bundle.ML (diff) |