Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: Path.T as in Generated_Files;
  2. back to polyml-test-1b2dcf8f5202 -- more stable;
Changeset 69784:24bbc4e30e5b by wenzelm:
clarified signature: Path.T as in Generated_Files;
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
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/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/generated_files.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 69783:dde776d1defa by wenzelm:
back to polyml-test-1b2dcf8f5202 -- more stable;
The file was modified Admin/components/main (diff)