Skip to content
Success

Changes

Summary

  1. no heap sharing for empty session;
  2. build faster without heap images for minor imports;
Changeset 8524:5cd2bef0979f by wenzelm:
no heap sharing for empty session;
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)
Changeset 8523:b546d30e45b6 by wenzelm:
build faster without heap images for minor imports;
The file was modified thys/Latin_Square/ROOT (diff)
The file was modified thys/MonoBoolTranAlgebra/ROOT (diff)
The file was modified thys/PseudoHoops/ROOT (diff)
The file was modified thys/Topology/ROOT (diff)