How to understand Isabelle code

Isabelle's interfaces for development of proof tools are found in the Isabelle/Isar Reference Manual https://isabelle.in.tum.de/dist/Isabelle2020/doc/isar-ref.pdf