src/Pure/General/file.scala

--- a/src/Pure/General/file.scala	Sun Mar 24 19:10:55 2024 +0100
+++ b/src/Pure/General/file.scala	Sun Mar 24 19:14:56 2024 +0100
@@ -7,6 +7,7 @@
 package isabelle
 
 
+import java.util.{Properties => JProperties}
 import java.io.{BufferedWriter, OutputStreamWriter, FileOutputStream, BufferedOutputStream,
   OutputStream, InputStream, FileInputStream, BufferedInputStream, BufferedReader,
   InputStreamReader, File => JFile, IOException}
@@ -253,6 +254,15 @@
   }
 
 
+  /* read properties */
+
+  def read_props(path: Path): JProperties = {
+    val props = new JProperties
+    props.load(Files.newBufferedReader(path.java_path))
+    props
+  }
+
+
   /* write */
 
   def writer(file: JFile): BufferedWriter =