unused;

--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 19:52:41 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Thu Aug 18 10:36:08 2022 +0200
@@ -423,8 +423,6 @@
     def enabled: Boolean
     def enabled(info: Sessions.Info): Boolean = enabled || info.browser_info
     def dir(store: Sessions.Store): Path = store.presentation_dir
-    def dir(store: Sessions.Store, info: Sessions.Info): Path =
-      dir(store) + Path.explode(info.chapter_session)
   }