# HG changeset patch
# User wenzelm
# Date 1675696885 -3600
# Node ID ee7dc5151db57d03761c08e986cb13c6d9f3a288
# Parent  6cc3b131f7617b47ce6d3066e5ed190e2af2ca82
tuned signature;

diff -r 6cc3b131f761 -r ee7dc5151db5 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Mon Feb 06 16:11:05 2023 +0100
+++ b/src/Pure/System/components.scala	Mon Feb 06 16:21:25 2023 +0100
@@ -243,7 +243,7 @@
 
   def write_components(lines: List[String]): Unit = {
     Isabelle_System.make_directory(components_path.dir)
-    File.write(components_path, Library.terminate_lines(lines))
+    File.write(components_path, terminate_lines(lines))
   }
 
   def update_components(add: Boolean, path0: Path, progress: Progress = new Progress): Unit = {
diff -r 6cc3b131f761 -r ee7dc5151db5 src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Mon Feb 06 16:11:05 2023 +0100
+++ b/src/Pure/Thy/document_build.scala	Mon Feb 06 16:21:25 2023 +0100
@@ -228,7 +228,7 @@
     lazy val session_tex: File.Content = {
       val path = Path.basic("session.tex")
       val content =
-        Library.terminate_lines(
+        terminate_lines(
           session_document_theories.map(name => "\\input{" + tex_name(name) + "}"))
       File.content(path, content)
     }
diff -r 6cc3b131f761 -r ee7dc5151db5 src/Pure/Thy/latex.scala
--- a/src/Pure/Thy/latex.scala	Mon Feb 06 16:11:05 2023 +0100
+++ b/src/Pure/Thy/latex.scala	Mon Feb 06 16:21:25 2023 +0100
@@ -142,7 +142,7 @@
 \newcommand{\isafoldtag}[1]%
 {\includecomment{isadelim#1}\excludecomment{isatag#1}\csarg\def{isafold#1}{\isafold{#1}}}
 
-""" + Library.terminate_lines(tags))
+""" + terminate_lines(tags))
     }
   }