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 directories after reinstallation of lxbroy10;
authorwenzelm
Fri, 25 Jun 2021 12:52:54 +0200
changeset 73873 2d42e52152b1
parent 73872 ced6e3c03425
child 73874 7730b882f14a
proper directories after reinstallation of lxbroy10;
Admin/etc/options file | annotate | diff | comparison | revisions 
--- a/Admin/etc/options	Fri Jun 25 12:32:56 2021 +0200
+++ b/Admin/etc/options	Fri Jun 25 12:52:54 2021 +0200
@@ -5,10 +5,10 @@
 option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de"
   -- "user@host for SSH connection"
 
-option isabelle_components_dir : string = "/home/isabelle/components"
+option isabelle_components_dir : string = "/p/home/isabelle/components"
   -- "webspace for ISABELLE_COMPONENT_REPOSITORY"
 
-option isabelle_components_contrib_dir : string = "/home/isabelle/contrib"
+option isabelle_components_contrib_dir : string = "/p/home/isabelle/contrib"
   -- "unpacked components for remote build services"
isabelle