equal
deleted
inserted
replaced
101 use_thy "HOL4Prob"; |
101 use_thy "HOL4Prob"; |
102 use_thy "HOL4"; |
102 use_thy "HOL4"; |
103 EOF |
103 EOF |
104 |
104 |
105 if [ -n "$DO_LIBRARY" ]; then |
105 if [ -n "$DO_LIBRARY" ]; then |
106 perl -pi -e 's/^ISABELLE_USEDIR_OPTIONS=.*$/ISABELLE_USEDIR_OPTIONS="-i true -d pdf -V outline=/proof,/ML"/' \ |
106 perl -pi -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-i true -d pdf -V outline=/proof,/ML":' \ |
107 etc/settings |
107 etc/settings |
108 else |
108 else |
109 perl -pi -e 's/^ISABELLE_USEDIR_OPTIONS=.*$/ISABELLE_USEDIR_OPTIONS="-p 2"/' \ |
109 perl -pi -e 's:^ISABELLE_USEDIR_OPTIONS=.*$:ISABELLE_USEDIR_OPTIONS="-p 2":' \ |
110 etc/settings |
110 etc/settings |
111 fi |
111 fi |
112 |
112 |
113 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER) |
113 ISABELLE_HOME_USER=$(./bin/isatool getenv -b ISABELLE_HOME_USER) |
114 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \ |
114 [ -f "$ISABELLE_HOME_USER/etc/settings" ] && \ |