src/Pure/Thy/presentation.scala

               (seen ++ thys, (session, thys) :: batches)
           })._2
       val theory_node_info =
         Par_List.map[Batch, List[(String, Node_Info)]](
           { case (session, thys) =>
-              db_context.input_database(session) { db =>
+              db_context.database(session) { db =>
                 val provider0 = Export.Provider.database(db, db_context.cache, session, "")
                 val result =
                   for (thy_name <- thys) yield {
                     val theory =
                       if (thy_name == Thy_Header.PURE) Export_Theory.no_theory

       graphview.Graph_File.make_pdf(options, base.session_graph_display))
 
     val documents =
       for {
         doc <- info.document_variants
-        document <- db_context.input_database(session)(db =>
+        document <- db_context.database(session)(db =>
           Document_Build.read_document(db, session, doc.name))
       } yield {
         val doc_path = (session_dir + doc.path.pdf).expand
         if (verbose) progress.echo("Presenting document " + session + "/" + doc.name)
         if (options.bool("document_echo")) progress.echo("Document at " + doc_path)