Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned signature;
  3. prefer internal attribute source;
Changeset 63021:905e15764bb4 by wenzelm:
merged
Changeset 63020:02921dcc42c3 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 63019:80ef19b51493 by wenzelm:
prefer internal attribute source;
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_fp_def_sugar.ML (diff)
The file was modified src/HOL/Tools/Function/function.ML (diff)
The file was modified src/HOL/Tools/inductive.ML (diff)
The file was modified src/HOL/Tools/typedef.ML (diff)
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/obtain.ML (diff)
The file was modified src/Pure/Isar/specification.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)