Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. no heap sharing for empty session (e.g. HOL-ODE);
  2. tuned diagram;
  3. clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
Changeset 66972:f65fc869e835 by wenzelm:
no heap sharing for empty session (e.g. HOL-ODE);
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66971:43b2aac6053c by wenzelm:
tuned diagram;
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 66970:13857f49d215 by wenzelm:
clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty;
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)