Manual, dependency \begin{theorem}, \begin{thm}

[ouboub]

Hi

is there any manual, besides the README file available.
I struggle to use

\begin{thm}
\end{thm}

also I have defined them in common.tex, print.tex and web.tex in src/macros, but
when I run
leanblueprint web
and
leanblueprint serve

the dependency graph does not show, the {thm} environment.

It shows the {theorem} environment but not its title.

what do I miss?

Uwe Brauer