[workspace] members = ["isabelle-dump", "symbolmacro"]