Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper symbolic dependencies, e.g. for Demo_FoilTeX;
authorwenzelm
Mon, 06 Feb 2023 11:05:35 +0100
changeset 77205 a197d583bf9f
parent 77204 d69732bc3dbe
child 77206 6784eaef7d0c
proper symbolic dependencies, e.g. for Demo_FoilTeX;
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle