Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";
  3. tuned;
Changeset 69294:085f31ae902d by wenzelm:
more robust;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 69293:72a9860f8602 by wenzelm:
clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";
The file was modified src/Pure/General/file.scala (diff)
Changeset 69292:06fda16e50fb by wenzelm:
tuned;
The file was modified src/Doc/Implementation/Prelim.thy (diff)