--- 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 = {
--- 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)
}
--- 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))
}
}