Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned signature -- more operations;
  2. tuned signature;
  3. clarified 'file_prefix';
  4. clarified style: allow to search PDF for keywords containing "_";
Changeset 70013:6de8b7a5cd44 by wenzelm:
tuned signature -- more operations;
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Tools/generated_files.ML (diff)
Changeset 70012:36aeb535a801 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/generated_files.ML (diff)
Changeset 70011:9dde788b0128 by wenzelm:
clarified 'file_prefix';
The file was modified NEWS (diff)
The file was modified src/Doc/Codegen/Introduction.thy (diff)
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Tools/Code/code_runtime.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 70010:499896e3a7b0 by wenzelm:
clarified style: allow to search PDF for keywords containing "_";
The file was modified src/Doc/Codegen/document/root.tex (diff)
The file was modified src/Doc/Codegen/document/style.sty (diff)