Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature; clarified URLs;
  2. clarified signature;
  3. support for PDF.js: platform-independent PDF viewer;
  4. more robust mime_type;
Changeset 75107:7c0217c8b8a5 by wenzelm:
clarified signature;<br>clarified URLs;
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 75106:c2570d25d512 by wenzelm:
clarified signature;
The file was modified src/Pure/General/http.scala (diff)
Changeset 75105:03115c9eea00 by wenzelm:
support for PDF.js: platform-independent PDF viewer;
The file was addedsrc/Pure/Admin/build_pdfjs.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/build.props (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 75104:08bb0d32b2e3 by wenzelm:
more robust mime_type;
The file was modified src/Pure/General/http.scala (diff)