src/Pure/System/isabelle_system.ML

--- a/src/Pure/System/isabelle_system.ML	Sun Mar 14 18:27:55 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML	Sun Mar 14 18:32:11 2021 +0100
@@ -11,6 +11,7 @@
   val bash: string -> int
   val bash_functions: unit -> string list
   val check_bash_function: Proof.context -> string * Position.T -> string
+  val absolute_path: Path.T -> string
   val make_directory: Path.T -> Path.T
   val copy_dir: Path.T -> Path.T -> unit
   val copy_file: Path.T -> Path.T -> unit