clarified signature: downgrade old-style Global_Theory.add_defs to Global_Theory.add_def without attributes;
#!/usr/bin/env bash
set -e
$ISABELLE_LUALATEX root
$ISABELLE_BIBTEX root
$ISABELLE_LUALATEX root
$ISABELLE_LUALATEX root
./isa-index root
$ISABELLE_LUALATEX root