Summary
- tuned layout;
- show errors from build_log database;
- 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) |
The file was modified | src/Pure/Admin/build_status.scala (diff) |
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) |