Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified meta_digest: export_files is a directive for physical output from existing build database;
  2. clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; tuned messages;
  3. clarified name;
Changeset 69812:9487788a94c1 by wenzelm:
clarified meta_digest: export_files is a directive for physical output from existing build database;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 69811:18f61ce86425 by wenzelm:
clarified &#039;export_files&#039; in session ROOT: require explicit &quot;isabelle build -e&quot;;<br>tuned messages;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 69810:a23d6ff31f79 by wenzelm:
clarified name;
The file was modified etc/settings (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)