diff -r e7e93c0f6d96 -r a085a1a89388 src/Tools/Graphview/graph_file.scala
--- a/src/Tools/Graphview/graph_file.scala	Wed Nov 11 20:55:25 2020 +0100
+++ b/src/Tools/Graphview/graph_file.scala	Wed Nov 11 20:58:36 2020 +0100
@@ -44,4 +44,11 @@
 
     write(file, graphview)
   }
+
+  def make_pdf(options: Options, graph: Graph_Display.Graph): Bytes =
+    Isabelle_System.with_tmp_file("graph", ext = "pdf")(graph_file =>
+    {
+      write(options, graph_file.file, graph)
+      Bytes.read(graph_file)
+    })
 }