clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax;
#!/usr/bin/env bash
set -e
$ISABELLE_LUALATEX root
$ISABELLE_BIBTEX root
$ISABELLE_LUALATEX root
$ISABELLE_LUALATEX root
./isa-index root
$ISABELLE_LUALATEX root