equal
deleted
inserted
replaced
4 # |
4 # |
5 # DESCRIPTION: view Isabelle documentation |
5 # DESCRIPTION: view Isabelle documentation |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 "$ISABELLE_TOOL" java isabelle.Doc "$@" |
9 isabelle java isabelle.Doc "$@" |