From 76b983012d6dba11cd440448d82bbc58435abd16 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 28 Apr 2021 11:15:50 +0100
Subject: [PATCH] Added reminder to move configuration to Isabelle/Isar.

---
 fxp.thy | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/fxp.thy b/fxp.thy
index 7cacb31..024ac50 100644
--- a/fxp.thy
+++ b/fxp.thy
@@ -248,5 +248,14 @@ ML_file "fxp/src/Catalog/catResolve.sml"
 ML_file "fxp/src/Catalog/catOptions.sml"
 (* end of fxp imports *)
 
+(* 
+  Todo: move configuration of the OS command for resolving URI 
+        from config.sml to a proper Isabelle/Isar configuration attribute:
+*)
+ML\<open>
+  val timeout = Attrib.setup_config_string \<^binding>\<open>uri_cmd\<close> (K "wget -qO %2 %1")
+\<close>
+
+
 end