Summary
- gnuplot presentation similar to former isatest-statistics;
- tuned;
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) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |