Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. more charts;
  3. uniform heap_scale; tuned;
  4. more plots from ml_statistics;
  5. simplified signature;
  6. tuned signature;
  7. more JFreeChart operations; tuned signature;
Changeset 65868:65e132abab1e by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65867:53613acb76e7 by wenzelm:
more charts;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65866:00e8b836d4db by wenzelm:
uniform heap_scale;<br>tuned;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
Changeset 65865:177b90f33f40 by wenzelm:
more plots from ml_statistics;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65864:1945fa8f0c39 by wenzelm:
simplified signature;
The file was modified src/Pure/ML/ml_statistics.scala (diff)
Changeset 65863:94fe5e82d101 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65862:5441c51a2d38 by wenzelm:
more JFreeChart operations;<br>tuned signature;
The file was modified src/Pure/General/graphics_file.scala (diff)