Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper base name, e.g. relevant for Code_Namespace.hierarchical_program;
  2. clarified session graph: collapse theories from other sessions;
  3. more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala;
  4. exclude theories from other sessions; clarified modules;
  5. some documentation;
  6. actually qualify theory names;
Changeset 65508:a72ab197e681 by wenzelm:
proper base name, e.g. relevant for Code_Namespace.hierarchical_program;
The file was modified src/Pure/theory.ML (diff)
Changeset 65507:decdb95bd007 by wenzelm:
clarified session graph: collapse theories from other sessions;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.scala (diff)
Changeset 65506:359fc6266a00 by wenzelm:
more robust error (amending 2c27c3d1fd3b): responsibility is gradually moved from ML to Scala;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65505:741fad555d82 by wenzelm:
exclude theories from other sessions;<br>clarified modules;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 65504:b80477da30eb by wenzelm:
some documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 65503:a3fffad8f217 by wenzelm:
actually qualify theory names;
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)