| 123456789101112 |
- --- Isabelle2012-orig/lib/browser/build 2012-05-20 19:34:33.000000000 +1000
- +++ Isabelle2012/lib/browser/build 2012-05-26 22:18:41.952750622 +1000
- @@ -6,6 +6,8 @@
- #
- # Requires proper Isabelle settings environment.
-
- +ISABELLE_HOME="$(cd "$(dirname "${0}")/../.."; pwd -P)"
- +source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
-
- ## diagnostics
-
|
