Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. PIDE reports of implicit variable scope;
  3. PIDE reports of implicit variable scope;
  4. tuned;
Changeset 63397:a528d24826c5 by wenzelm:
merged
Changeset 63396:ae07cd27ebf1 by wenzelm:
PIDE reports of implicit variable scope;
The file was modified src/Pure/Isar/specification.ML (diff)
Changeset 63395:734723445a8c by wenzelm:
PIDE reports of implicit variable scope;
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)
Changeset 63394:7faeff3156d5 by wenzelm:
tuned;
The file was modified src/Pure/Isar/specification.ML (diff)