Summary
- merged
- PIDE reports of implicit variable scope;
- PIDE reports of implicit variable scope;
- tuned;
The file was modified | src/Pure/Isar/specification.ML (diff) |
The file was modified | src/HOL/Tools/Lifting/lifting_def.ML (diff) |
The file was modified | src/HOL/Tools/Lifting/lifting_setup.ML (diff) |
The file was modified | src/HOL/Tools/Quotient/quotient_def.ML (diff) |
The file was modified | src/HOL/Tools/inductive.ML (diff) |
The file was modified | src/Pure/Isar/element.ML (diff) |
The file was modified | src/Pure/Isar/expression.ML (diff) |
The file was modified | src/Pure/Isar/local_defs.ML (diff) |
The file was modified | src/Pure/Isar/proof.ML (diff) |
The file was modified | src/Pure/Isar/specification.ML (diff) |
The file was modified | src/Pure/Syntax/syntax_phases.ML (diff) |
The file was modified | src/Pure/primitive_defs.ML (diff) |
The file was modified | src/Pure/theory.ML (diff) |
The file was modified | src/Pure/Isar/specification.ML (diff) |