Isabelle latex

Isabelle provides convenient tools for writing papers, e.g. "my-paper". Documentation is found primarily in system.pdf; here a step by step description

~/my-paper$ /usr/local/isabisac/bin/isabelle mkroot && isabelle build -D.
 * (1) prepare an appropriate isabelle session

~/my-paper$ /usr/local/isabisac/bin/isabelle document
 * (2) provide specific style files


 * (3) extend "~/my-paper/document/root.tex" for your purpose

~/my-paper/document$ /usr/local/isabisac/bin/isabelle latex
 * (4) use the appropriate directory in order to find the style files