Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned layout;
  2. show errors from build_log database;
  3. support for message underline and tooltips;
Changeset 65941:316c30b60ebc by wenzelm:
tuned layout;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65940:9c7241798c3b by wenzelm:
show errors from build_log database;
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65939:9fb044904a4d by wenzelm:
support for message underline and tooltips;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)