Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. clarified signature;
  3. clarified signature;
  4. minor performance tuning;
Changeset 78690:e10ef4f9c848 by wenzelm:
clarified signature;
The file was modified src/HOL/Tools/Lifting/lifting_setup.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_antiquotation.ML (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
The file was modified src/Pure/Thy/term_style.ML (diff)
Changeset 78689:37b49c592265 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_antiquotation.ML (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
The file was modified src/Pure/ML/ml_context.ML (diff)
Changeset 78688:ff7db9055002 by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/isabelle_thread.ML (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
Changeset 78687:5fe4c11b5ecb by wenzelm:
minor performance tuning;
The file was modified src/Pure/ML/ml_lex.ML (diff)