General Tips

On isabelle.systems, you can find a collection of links to useful Isabelle resources. In particular, the mailing lists and Zulip are a good place to ask questions.