Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. complete on long name components as well;
  3. added command 'alias' and 'type_alias';
  4. tuned;
  5. tuned signature;
  6. unused;
Changeset 66250:56a87a5093be by wenzelm:
merged
Changeset 66249:f50e6e31a0ee by wenzelm:
complete on long name components as well;
The file was modified src/Pure/General/name_space.ML (diff)
Changeset 66248:df85956228c2 by wenzelm:
added command 'alias' and 'type_alias';
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/HOL/BNF_Greatest_Fixpoint.thy (diff)
The file was modified src/Pure/Isar/specification.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 66247:8d966b4a7469 by wenzelm:
tuned;
The file was modified src/Pure/General/name_space.ML (diff)
Changeset 66246:c2c18b6b48da by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 66245:da3b0e848182 by wenzelm:
unused;
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/sign.ML (diff)
The file was modified src/Pure/type.ML (diff)