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.
tuned comments;
authorwenzelm
Mon, 17 Feb 1997 12:00:00 +0100
changeset 2643 a7f469c0ba59
parent 2642 3c3a84cc85a9
child 2644 2fa0f0c1c750
tuned comments;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Mon Feb 17 11:04:00 1997 +0100
+++ b/lib/scripts/getsettings	Mon Feb 17 12:00:00 1997 +0100
@@ -9,7 +9,7 @@
 
 set -o allexport
 
-#users tend to put strange things in here
+#users tend to put strange things in here ...
 unset ENV
 unset BASH_ENV
 
@@ -18,6 +18,7 @@
 unset OSTYPE
 PLATFORM=$(bash -norc -c 'echo $HOSTTYPE-$OSTYPE')
 
+#get actual settings
 . $ISABELLE_HOME/etc/settings || exit 2
 [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
isabelle