Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. notes on gnuplot;
  2. tuned;
Changeset 65803:1fdb6ba9d32c by wenzelm:
notes on gnuplot;
The file was modified Admin/build_log/README (diff)
Changeset 65802:3fa7ee46a4c8 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)