1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed Jan 09 13:38:57 2013 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Jan 09 14:01:50 2013 +0100
     1.3 @@ -185,6 +185,7 @@
     1.4  ## dependencies
     1.5  
     1.6  if [ -e "$ISABELLE_HOME/Admin/build" ]; then
     1.7 +  "$ISABELLE_TOOL" browser -b || exit $?
     1.8    if [ "$BUILD_JARS" = jars_fresh ]; then
     1.9      "$ISABELLE_TOOL" graphview -b -f || exit $?
    1.10    else