| changeset 41511 | 2fe62d602681 |
| parent 40570 | bf8f92bdf630 |
| child 41614 | b7cd80330a16 |
--- a/lib/scripts/getsettings Tue Jan 11 18:23:29 2011 +0100 +++ b/lib/scripts/getsettings Tue Jan 11 19:55:34 2011 +0100 @@ -31,9 +31,10 @@ . "$ISABELLE_HOME/lib/scripts/isabelle-platform" #Isabelle distribution identifier -- filled in automatically! +ISABELLE_ID="" ISABELLE_IDENTIFIER="" -#users tend to put strange things in here ... +#sometimes users put strange things in here ... unset ENV unset BASH_ENV