Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 48553 a4893c509aa2
parent 48466 3b2fb20df17d
child 48574 4af9f3122138 
--- a/etc/settings	Fri Jul 27 15:37:48 2012 +0200
+++ b/etc/settings	Fri Jul 27 16:27:26 2012 +0200
@@ -97,7 +97,7 @@
 ###
 
 # The place for user configuration, heap files, etc.
-if [ -z "ISABELLE_IDENTIFIER" ]; then
+if [ -z "$ISABELLE_IDENTIFIER" ]; then
   ISABELLE_HOME_USER="$USER_HOME/.isabelle"
 else
   ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
isabelle