Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. theory qualifier is always session name (see also 31e8a86971a8);
  2. clarified session structure;
Changeset 66780:bf54ca580bf2 by wenzelm:
theory qualifier is always session name (see also 31e8a86971a8);
The file was modified etc/options (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66779:8645d56f96e1 by wenzelm:
clarified session structure;
The file was modified src/HOL/ROOT (diff)