# HG changeset patch
# User wenzelm
# Date 1675677935 -3600
# Node ID a197d583bf9fbad229c8f4b7a17f324ac3ef2b5c
# Parent  d69732bc3dbe17dfa8b0005713a4372322bc536a
proper symbolic dependencies, e.g. for Demo_FoilTeX;

diff -r d69732bc3dbe -r a197d583bf9f etc/settings
--- a/etc/settings	Mon Feb 06 10:58:07 2023 +0100
+++ b/etc/settings	Mon Feb 06 11:05:35 2023 +0100
@@ -66,6 +66,7 @@
 isabelle_directory '~'
 isabelle_directory '$ISABELLE_HOME_USER'
 isabelle_directory '~~'
+isabelle_directory '$ISABELLE_COMPONENTS_BASE'
 
 ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components"
 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"