Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. gnuplot presentation similar to former isatest-statistics;
  2. tuned;
Changeset 63688:cc57255bf6ae by wenzelm:
gnuplot presentation similar to former isatest-statistics;
The file was modified etc/settings (diff)
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/build_stats.scala (diff)
Changeset 63687:1134ee401b20 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.scala (diff)