Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: tmp files might get deleted concurrently in ML vs. Scala process;
  2. clarified fonts;
  3. tuned;
  4. clarified errors;
  5. tuned;
  6. clarified;
  7. tuned message;
  8. tuned;
  9. tuned;
  10. handler for Isabelle version;
  11. tuned;
  12. handler for Isabelle fonts;
  13. more operations;
  14. clarified modules;
  15. clarified signature;
Changeset 65090:fc8bb68a7439 by wenzelm:
more robust: tmp files might get deleted concurrently in ML vs. Scala process;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 65089:1d219d76873b by wenzelm:
clarified fonts;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Admin/news.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 65088:18f2d388fab4 by wenzelm:
tuned;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65087:11e332c4e39f by wenzelm:
clarified errors;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65086:548efa2bda66 by wenzelm:
tuned;
The file was modified src/Pure/General/graphics_file.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
Changeset 65085:9d53b892140a by wenzelm:
clarified;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65084:23202c455a3e by wenzelm:
tuned message;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65083:9a0e34edfad1 by wenzelm:
tuned;
The file was modified src/Pure/Admin/news.scala (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Pure/GUI/jfx_gui.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 65082:2e99c0ee3bac by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 65081:c20905a5bc8e by wenzelm:
handler for Isabelle version;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65080:2b6ed26b7597 by wenzelm:
tuned;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65079:8a5c2b86c5f6 by wenzelm:
handler for Isabelle fonts;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65078:2339994e8790 by wenzelm:
more operations;
The file was modified src/Pure/General/http.scala (diff)
Changeset 65077:2d6e716c9d6e by wenzelm:
clarified modules;
The file was addedsrc/Pure/General/http.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/General/http_server.scala
Changeset 65076:8a96ab58f016 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http_server.scala (diff)