Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
  3. tuned signature;
  4. tuned --- more robust syntax;
  5. tuned signature;
  6. back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
  7. unused (see 347ed6219dab);
  8. tuned signature;
Changeset 76051:854e9223767f by wenzelm:
tuned signature;
The file was modified src/HOL/Library/conditional_parametricity.ML (diff)
The file was modified src/Pure/goal.ML (diff)
The file was modified src/Pure/tactical.ML (diff)
Changeset 76050:f1dc3d9d5164 by wenzelm:
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 76049:d6c6e787cd86 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 76048:92aa9ac31c7c by wenzelm:
tuned --- more robust syntax;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 76047:f244926013e5 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/goal.ML (diff)
The file was modified src/Pure/term.ML (diff)
Changeset 76046:507c65cc4332 by wenzelm:
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
Changeset 76045:4aeb5f019e53 by wenzelm:
unused (see 347ed6219dab);
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 76044:c90799513ed0 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)