Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified Sidekick setup;
  2. more tight filtering;
  3. tuned;
  4. clarified -- more standard maxidx;
  5. tuned -- maxidx unused;
  6. tuned;
  7. tuned;
Changeset 63620:f1cae4239d4c by wenzelm:
clarified Sidekick setup;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 63619:9c870388e87a by wenzelm:
more tight filtering;
The file was modified src/HOL/Tools/code_evaluation.ML (diff)
The file was modified src/Pure/envir.ML (diff)
The file was modified src/Pure/term.ML (diff)
Changeset 63618:9c4bb72d1f4f by wenzelm:
tuned;
The file was modified src/Pure/envir.ML (diff)
Changeset 63617:3646e2ba554c by wenzelm:
clarified -- more standard maxidx;
The file was modified src/HOL/Tools/Predicate_Compile/predicate_compile_specialisation.ML (diff)
Changeset 63616:ff66974e31be by wenzelm:
tuned -- maxidx unused;
The file was modified src/Pure/Proof/reconstruct.ML (diff)
The file was modified src/Pure/envir.ML (diff)
Changeset 63615:d786d54efc70 by wenzelm:
tuned;
The file was modified src/HOL/Eisbach/match_method.ML (diff)
The file was modified src/HOL/Tools/Metis/metis_reconstruct.ML (diff)
The file was modified src/Pure/envir.ML (diff)
The file was modified src/Pure/more_unify.ML (diff)
Changeset 63614:676ba20db063 by wenzelm:
tuned;
The file was modified src/Pure/net.ML (diff)